Programming Languages, Implementations, Logics, And Programs by Hugh Glaser