Demetrovics, J., Knuth, E. 1., & Radó, P. (1985). Computer-aided specification techniques. Singapore: World Scientific.
Citação norma ChicagoDemetrovics, János., E. 1943- Knuth, e Péter Radó. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Citação norma MLADemetrovics, János., E. 1943- Knuth, e Péter Radó. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.