TY - BOOK AU - Alagic Suad AU - Arbib M A TI - Design of well-structured and corret programs SN - 0-387-90299-6 U1 - 005.3 PY - 1978/// CY - N Y PB - Springer Verlag KW - Computer design KW - Computer programming ER -