Hugh Glaser

Programming Languages: Implementations, Logics, and Programs