An algebraic approach to re (1990)

by Joseph Goguen
Venue:Proceedings, VDM'90: VDM and Z { Formal Methods in Software Development