Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20 - 22, 1995 (Paperback, 1995)