%0 Book %A Herbert Kuchen, S. Doaitse Swierstra )eds.( %T Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings %U /book/101379983/Programming-languages-implementations-logics-an/