Frappier, M., & Habrias, H. (2001). Software specification methods: An overview using a case study. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Frappier, Marc, και Henri Habrias. Software Specification Methods: An Overview Using a Case Study. London: Springer, 2001.
Παραπομπή σε μορφή MLA (9th εκδ.)Frappier, Marc, και Henri Habrias. Software Specification Methods: An Overview Using a Case Study. Springer, 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.