Programming languages: implementations, logics, and programs by International Symposium on Programming Languages, Implementations, Logics and Programs, Southampton fromLecture Notes in Computer Science 0 Type: Book
