APA (7th ed.) Citation

Demtrovics, J., Rado, P., & Knuth, E. (1985). Computer-aided specification techniques. World Scientific.

Chicago Style (17th ed.) Citation

Demtrovics, Janos, Peter Rado, and E. Knuth. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.

MLA (9th ed.) Citation

Demtrovics, Janos, et al. Computer-aided Specification Techniques. World Scientific, 1985.