"On the Refinement and Simulation of Data Types and Processes."

Christie Bolton, Jim Davies, Jim Woodcock (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics