Formal specification and software development - Bjørner, Dines 1937-; Jones, Cliff B. 1944. (Englewood Cliffs, N.J. Prentice, Hall International, 1982)
Keywords: Computer programming; Programming languages (Electronic computers)