On notation (a sketch of the paper (1993)

by Joseph Goguen
Venue:10: Technology of Object-Oriented Languages and Systems