Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including… by Kuchen, Herbert, Glaser, Hugh, Hartel, Peter fromLecture Notes in Computer Science 0 Type: Book
