John Derrick, Eerke Boiten. Calculating upward and downward simulations of state-based specifications. Information \& Software Technology, 41(13):917-923, 1999. [doi]
@article{DerrickB99:1, title = {Calculating upward and downward simulations of state-based specifications}, author = {John Derrick and Eerke Boiten}, year = {1999}, doi = {10.1016/S0950-5849(99)00044-0}, url = {http://dx.doi.org/10.1016/S0950-5849(99)00044-0}, tags = {rule-based}, researchr = {https://researchr.org/publication/DerrickB99%3A1}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {41}, number = {13}, pages = {917-923}, }