Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings - Díaz, Josep, 1950-; Ramos Salavert, Isidro, 1943- (Lecture notes in computer science ;, 1981)