International Symposium on Programming Languages, Implementations, Logics and Programs (1996 Aachen, Germany)