FORMALIZATION OF PROGRAMMING CONCEPTS: INTERNATIONAL COLLOQIUM PROCEEDING - DIAZ,J (ED), RAMOS I (ED) (SV BERLIN, 1981)