Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, Se. ISBN 3540633987. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.