Van Roy, P.

Concepts, techniques, and models of computer programming - Cambridge; Massachusetts MIT Press 2004 - xxix, 900p.

0-262-22069-5