A comparison of refinement orderings and their associated simulation rules
Christie Bolton and Jim Davies
Journal
Electronic Notes in Theoretical Computer Science
Number
3
Volume
70
Year
2002
Christie Bolton and Jim Davies