Bunches for Object-Oriented, Concurrent, and Real-Time Specification.

Richard F. Paige, Eric C. R. Hehner

Browse the full FM paper archive.