Software abstractions : logic , language, and analysis - Jackson, Daniel (New Delhi : Prantice Hall, 2007)
Includes bibliographical references and index
Keywords: Computer software -- Development