Changing the data representation in the refinement calculus (1989)

by Ralph -J R Back
Venue:In ~1 Hawaii International Conference on Systems Science