Understanding Object-Z Operations as Generalised Substitutions.

Steve Dunne

Browse the full IFM paper archive.