XENOS - a System to Support Abstract Data Structures

@inproceedings{Bennet1987XENOSA,
  title={XENOS - a System to Support Abstract Data Structures},
  author={K. H. Bennet and C. Hawksley and D. J. Sparks},
  booktitle={POS},
  year={1987}
}