Using Z as a Specification Calculus for Object-Oriented Systems.

Anthony Hall

Browse the full FM paper archive.