Formal Specification and Software Development (1982)

by D Bjørner, C B Jones