Modelling Information Objects in Z

Cite this paper

@inproceedings{Rudkin1991ModellingIO, title={Modelling Information Objects in Z}, author={Steve Rudkin}, booktitle={Open Distributed Processing}, year={1991} }