Some proofs of data refinement
References (4)
- et al.
Towards a calculus of data refinement,
- C. Morgan and P.H.B. Gardiner, Data refinement by calculation, Acta Inform., to...
There are more references available in the full text version of this article.
Cited by (0)
- ∗
Supported by a grant from the Unisys Corporation and by the NSF and DARPA under grant ASC-88-00465.
Copyright © 1990 Published by Elsevier B.V.