Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.
Chicago-referens (17:e uppl.)Bolton, C., J. Davies, och J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.
MLA-referens (9:e uppl.)Bolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.