CLAS - A Formal Aid to Data Elements Identification Dušan Malbaški; Danilo Obradović — 1994 The Yugoslav Journal of Operations Research
Some Notes on the Formal Definition of Streams Dušan Malbaški; Dragan Ivetić — 1996 The Yugoslav Journal of Operations Research
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