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.
No references recorded for this publication.
No citations of this publication recorded.