A comparison of refinement orderings and their associated simulation rules - Bolton, C; Davies, J (2002)