Z Specification of an Object Manager.

Patrice Chalin, Peter Grogono

Browse the full FM paper archive.