Demetrovics, J., Knuth, E. 1., & Radó Péter. (1985). Computer-aided specification techniques. Singapore: World Scientific.
استشهاد بنمط شيكاغوDemetrovics, János, E. 1943- Knuth, و Radó Péter. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
MLA استشهادDemetrovics, János, E. 1943- Knuth, و Radó Péter. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.