Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei Petar Z. Hotomski — 1983 Publications de l'Institut Mathématique
Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness Branko Markoski; Petar Hotomski; Dušan Malbaški; Danilo Obradović — 2010 The Yugoslav Journal of Operations Research
Resolution Methods in Proving the Program Correctness Branko Markoski; Petar Hotomski; Dušan Malbaški; Danilo Obradović — 2007 The Yugoslav Journal of Operations Research