An algebraic formulation for data re (1989)

by A J Power
Venue:Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane, March/April