Demetrovics, J., Knuth, E., & Rado, P. (1985). Computer-aided specification techniques. World Scientific.
Чикаго стиль цитування (17-те видання)Demetrovics, Janos, E. Knuth, та Peter Rado. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
Стиль цитування MLA (8-ме видання)Demetrovics, Janos, et al. Computer-aided Specification Techniques. World Scientific, 1985.
Попередження: стилі цитування не завжди правильні на всі 100%.