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