Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including…
by Hartel, Pieter, Kuchen, Herbert, Glaser, Hugh, International Symposium on Programming Languages, Implementations, Logics, and Programs, Southampton, Great Britain)
fromLecture Notes in Computer Science