Formal specification and software development - Bjorner, D. (Dines), 1937-; Jones, C. B. (Cliff B.), 1944- (Englewood Cliffs, N. J. : Prentice-Hall International, 1982)
Includes bibliographical references (p. 459-487) and index.
Keywords: Electronic digital computers -- Programming; Programming languages (Electronic computers).