Formal specification and software development - Bjorner, Diner (Printice-Hall International series in computer science, 1982)