Specifying Open Distributed Systems with Z

@inproceedings{Gotzhein1990SpecifyingOD,
  title={Specifying Open Distributed Systems with Z},
  author={Reinhard Gotzhein},
  booktitle={VDM Europe},
  year={1990}
}