Theories of Programming Languages

(Author: John C. Reynolds)