Demetrovics, J., Knuth, E. 1., & Radó, P. (1985). Computer-aided specification techniques. Singapore: World Scientific.
Παραπομπή Chicago StyleDemetrovics, János., E. 1943- Knuth, και Péter Radó. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Παραπομπή MLADemetrovics, János., E. 1943- Knuth, και Péter Radó. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.