TY  - JOUR
AU  - S. Alagić
TI  - On proofs of correctness of  well-structured programs. II
JO  - Matematički vesnik
PY  - 1977
SP  - 263 
VL  - 29
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MV_1977_29_1_a29/
ID  - MV_1977_29_1_a29
ER  -