Book

Programming Languages and Systems

by Kobayashi, Naoki