Software engineering: Analysis and verification - Lewis TG (1982)
Includes bibliography
Keywords: Computer science