Changing data representation in the re nement calculus (1989)

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