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