Formal specification and software development - Bjorner, Dines (Prentice-Hall Inc, 1982)