Title: Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Authors: Díaz, J. 1950-; Ramos, I. 1943-
Publisher: Springer-Verlag,
Year: 1981
Subjects: Computer programming Congresses