Programming languages : implementations, logics and programs : 7th International Symposium, PLILP ʹ95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings - Hermenegildo, Manuel; Swierstra, Doaitse S. (Lecture notes in computer science, 1995)