Title: Foundations of Programming Languages
First published: December 2002