John Derrick, Eerke A. Boiten: Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. 41(13): 917-923 (1999)