Formal specification and software development (Prentice Hall, 1982)