Ершов Ю. Л. (1987). Вып. 120: Логические методы в программировании; Вычислительные системы. 1987.
Chicago-Zitierstil (17. Ausg.)Ершов Ю. Л. Вып. 120: Логические методы в программировании; Вычислительные системы. 1987, 1987.
MLA-Zitierstil (9. Ausg.)Ершов Ю. Л. Вып. 120: Логические методы в программировании; Вычислительные системы. 1987, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.