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 (Springer, 1997)