...
huggins@acm.org
To appear in
Formal Specification Column
(Ed. H.Ehrig), Bulletin of the EATCS 64, February 1998.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
James K. Huggins
Mon Dec 29 18:32:53 EST 1997