Formal specification and software development - Bjrner, D. (Dines), 1937-; Jones, C. B. (Cliff B.), 1944 (Prentice/Hall International, 1982)
Includes index
Keywords: Computer software -- Development; Programming languages (Electronic computers)