Changing data representation in the refinement calculus (1989)

by R J R Back
Venue:In 21st Hawaii International Conference on System Sciences