Software abstractions : logic, language, and analysis - Jackson, Daniel (New Delhi : Prentice Hall of India, 2006)
Includes Index
Keywords: COMPUTER SOFTWARE-DEVELOPMENT