ISBN 354060359X books & textbook
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... (Lecture Notes in Computer Science, 982)
Hermenegildo, Manuel Swierstra, S.Doaitse
Springer /1995-09-11 Paperback / 488 Pages
isbn-10: 354060359X / isbn-13: 9783540603597