Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.
芝加哥风格引文Bolton, C., J. Davies, 与 J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.
MLA引文Bolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.
警告：这些引文格式不一定是100％准确.