Bolton, C., Davies, J., & Woodcock, J. (1999). On the Refinement and Simulation of Data Types and Processes.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումBolton, C., J. Davies, and J. Woodcock. On the Refinement and Simulation of Data Types and Processes. 1999.
MLA (9րդ խմբ.) ՄեջբերումBolton, C., et al. On the Refinement and Simulation of Data Types and Processes. 1999.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.