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