Formal aspects of computing. Springer International.
Παραπομπή σε μορφή Chicago (17η εκδ.)Formal Aspects of Computing. London: Springer International.
Παραπομπή σε μορφή MLA (8th εκδ.)Formal Aspects of Computing. Springer International.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
