Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.

Bolton, C., J. Davies, and J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.

Bolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.