Software abstractions Logic, language, and analysis. - Jackson Daniel (New Delhi Prentice-Hall, 2006)
Keywords: Software-Computers