Formal specification and software development. - Bjorner, Dines; Jones, Cliff B. (Prentice-Hall Inc., 1982)