@article{MV_1977_29_1_a28,
     author = {S. Alagi\'c},
     title = {On proofs of correctness of  well-structured programs},
     journal = {Matemati\v{c}ki vesnik},
     pages = {251 },
     year = {1977},
     volume = {29},
     number = {1},
     url = {http://geodesic.mathdoc.fr/item/MV_1977_29_1_a28/}
}