Broy, M., & Schieder, B. (1997). Mathematical methods in program development. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Broy, M., και Birgit Schieder. Mathematical Methods in Program Development. Berlin: Springer, 1997.
Παραπομπή σε μορφή MLA (9th εκδ.)Broy, M., και Birgit Schieder. Mathematical Methods in Program Development. Springer, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.