@article{YJOR_1997_7_1_a6,
     author = {Vojislav B. Mi\v{s}i\'c and Du\v{s}an M. Vela\v{s}evi\'c},
     title = {Formal {Specifications} in {Software} {Development:} an {Overview}},
     journal = {Yugoslav journal of operations research},
     pages = {79 },
     publisher = {mathdoc},
     volume = {7},
     number = {1},
     year = {1997},
     zbl = {0942.68073},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_1997_7_1_a6/}
}