Formalization of programming concepts : INTERNATIONAL COLLOQUIUM PENINSCOLA, SPAIN, APRIL 19-25, 1981. PROCEEDINGS. - Diaz, Josep (Springer Verlag, 1981)