Van Roy, P. Concepts, techniques, and models of computer programming - Cambridge; Massachusetts MIT Press 2004 - xxix, 900p. ISBN: 0-262-22069-5