Alan Wills. Specification in Fresco. In Susan Stepney, Rosalind Barden, David Cooper, editors, Object Orientation in Z. Workshops in Computing, pages 127-135, Springer, 1992.
@inproceedings{Wills92,
title = {Specification in Fresco},
author = {Alan Wills},
year = {1992},
researchr = {https://researchr.org/publication/Wills92},
cites = {0},
citedby = {0},
pages = {127-135},
booktitle = {Object Orientation in Z},
editor = {Susan Stepney and Rosalind Barden and David Cooper},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19778-8},
}