ISBN 3540191291 books & textbook
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306)
Boscarol, Mauro Carlucci Aiello, Luigia Levi, Giorgio
Springer /1988-04-27 Paperback / 232 Pages
isbn-10: 3540191291 / isbn-13: 9783540191292