Demetrovics, J., Knuth, E., & Rado, P. (1985). Computer-aided specification techniques. World Scientific.
Παραπομπή σε μορφή Chicago (17η εκδ.)Demetrovics, Janos, E. Knuth, και Peter Rado. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Παραπομπή σε μορφή MLA (8th εκδ.)Demetrovics, Janos, et al. Computer-aided Specification Techniques. World Scientific, 1985.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.