2004-02-20
Concepts, Techniques, and Models of Computer Programming
by Peter Van Roy, Seif Haridi (944 pages)