Text this: Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings / edited by Hugh Glaser, Pieter Hartel, Herbert Kuchen.