Demetrovics, J., Knuth, E., & Rado, P. (1985). Computer-aided specification techniques. World Scientific.
芝加哥风格引文Demetrovics, Janos, E. Knuth, 与 Peter Rado. Computer-aided Specification Techniques. Singapore: World Scientific, 1985.
MLA引文Demetrovics, Janos, et al. Computer-aided Specification Techniques. World Scientific, 1985.
警告：这些引文格式不一定是100％准确.