პროგრამების სისწორის ფორმალური დამტკიცების სიკეთე : (ინფორმატიკოსი სტუმრად გეომეტრთან) / ნ. შილოვი, ს. შილოვა // ბიულეტენი / საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი. - თბილისი, 2009. - ISSN 1987-734X. - N1. - გვ.7-34. - პარალ. ტექსტი ინგლ. ენ.[MFN: 39999]