Gerhard Schellhorn. Completeness of fair ASM refinement. Science of Computer Programming, 76(9):756-773, 2011. [doi]
@article{Schellhorn11, title = {Completeness of fair ASM refinement}, author = {Gerhard Schellhorn}, year = {2011}, doi = {10.1016/j.scico.2009.10.004}, url = {http://dx.doi.org/10.1016/j.scico.2009.10.004}, tags = {completeness, refinement}, researchr = {https://researchr.org/publication/Schellhorn11}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {76}, number = {9}, pages = {756-773}, }