Software abstractions logic, language and analysis - Jackson, Daniel (Cambridge, Mass. MIT Press, 2006)
Keywords: Computer software -- Development