Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.
Lua i Stíl Chicago (17ú heag.)Bolton, C., J. Davies, agus J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.
Lua MLA (9ú heag.)Bolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.