Christie Bolton, Jim Davies. A comparison of refinement orderings and their associated simulation rules. Electronic Notes in Theoretical Computer Science, 70(3):297-310, 2002. [doi]
@article{BoltonD02, title = {A comparison of refinement orderings and their associated simulation rules}, author = {Christie Bolton and Jim Davies}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt#010}, tags = {rule-based, refinement, rules}, researchr = {https://researchr.org/publication/BoltonD02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {3}, pages = {297-310}, }