Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos. (Lecture notes in computer science ; 107)
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos.