%0 Journal Article
%A S. Alagić
%T On proofs of correctness of  well-structured programs
%J Matematički vesnik
%D 1977
%P 251 
%V 29
%N 1
%U http://geodesic.mathdoc.fr/item/MV_1977_29_1_a28/
%F MV_1977_29_1_a28