Number of items: 1.
|
Boiten, E.A. and Derrick, J.
(2000)
Liberating data refinement.
In: Backhouse, R.C. and Oliveira, J.N., eds.
Proceedings of the 5th International Conference on Mathematics of Program Construction.
Lecture Notes in Computer Science, 1837.
Springer
pp. 144-166.
ISBN 3-540-67727-5.
The full text of this publication is not available from this repository.
|
|
This list was generated on Mon May 20 08:24:22 2013 BST.
