Formal Specifications in Software Development: an Overview Vojislav B. Mišić; Dušan M. Velašević — 1997 The Yugoslav Journal of Operations Research