Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings - Glaser, Hugh; Glaser, Hugh; Hartel, Peter; Hartel, Peter; Kuchen, Herbert; Kuchen, Herbert (Springer Berlin Heidelberg : Imprint: Springer, 1997)