ISBN 9783540106999 books & textbook
Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (Lecture Notes in Computer Science, 107)
Springer /1981-04-01 Paperback / 496 Pages
isbn-10: 3540106995 / isbn-13: 9783540106999