Niektoré vlastnosti formálnych jazykov a systém programovania pre manipuláciu so symbolmi : Kand.diz.práca : V.odb. 26-15-9 : Obh. 10.09.1973 - Kostolanský, Eduard (Slov.akad.vied, Ústav techn.kybernetiky, 1970)