Christie Bolton, Jim Davies, Jim Woodcock
On the Refinement and Simulation of Data Types and Processes
IFM, 1999.
@inproceedings{IFM-1999-BoltonDW,
author = "Christie Bolton and Jim Davies and Jim Woodcock",
booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}",
isbn = "1-85233-107-0",
pages = "273--292",
publisher = "{Springer-Verlag}",
title = "{On the Refinement and Simulation of Data Types and Processes}",
year = 1999,
}