Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.
Chicago-čujuhus (17. p.)Bolton, C., J. Davies, juo J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.
MLA-čujuhus (9. p.)Bolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.