Foundations for programming languages / John C. Mitchell. — Cambridge, MA : MIT Press, 1996.
846 p. : ilus. ; 23,5 cm. . — (Foundations of computing)
ISBN 0262133210