Demetrovics, J., Knuth, E., & Radó, P. (1985). Computer-aided specification techniques. World Scientific Publ.
Chicago-Zitierstil (17. Ausg.)Demetrovics, János, Elöd Knuth, und Péter Radó. Computer-aided Specification Techniques. Singapore: World Scientific Publ, 1985.
MLA-Zitierstil (9. Ausg.)Demetrovics, János, et al. Computer-aided Specification Techniques. World Scientific Publ, 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.