Programming languages: implementations, logics and programs 8th international symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996 ; proceedings (Springer, 1996)