Concepts, Techniques, and Models of Computer Programming

LtUのこの記事をみて

Concepts, Techniques, and Models of Computer Programming (The MIT Press)

この本に興味を持ったので調べてたらここにpdfで落ちていた。1000ページ近くあるのでプリントアウトするのはきついがちょこちょこ面白そうなところだけでも読んでみようかと思う。
ちなみに本自体のサイトはこちら。