Formal description techniques for object management.

John Derrick, Peter F. Linington, Simon J. Thompson

Browse the full IM paper archive.