Demetrovics, J. (1985). Computer-aided specification techniques. World Scientific.
Trích dẫn kiểu ChicagoDemetrovics, János. Computer-aided Specification Techniques. World Scientific, 1985.
Trích dẫn MLADemetrovics, János. Computer-aided Specification Techniques. 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%.