С.С. Лавров. D-аксиоматизация языка "Декарт" (опубликована в кн. Прикладная информатика, 1987, вып.1)
