Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.
Dyfyniad Arddull ChicagoBolton, C., J. Davies, and J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.
Dyfyniad MLABolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.