On the Refinement and Simulation of Data Types and Processes - Bolton, C; Davies, J; Woodcock, J (1999)