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%.