Software abstractions : logic, language and analysis /
Jackson, Daniel.
Cambridge, Mass. : MIT Press,
c2006.
Includes bibliographical references (p. [333]-339) and index.
Computer software