Programming Languages and Systems by N Kobayashi