Demetrovics, J., Knuth, E. 1., & Radó Péter. (1985). Computer-aided specification techniques. Singapore: World Scientific.
Trích dẫn kiểu ChicagoDemetrovics, János., E. 1943- Knuth, và Radó Péter. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Trích dẫn MLADemetrovics, János., E. 1943- Knuth, và Radó Péter. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.