Formal specification and software development - Bjørner, Dines 1937- (Prentice-Hall International series in computer science, 1982)