Thomas Ruhroth, Heike Wehrheim. Model evolution and refinement. Science of Computer Programming, 77(3):270-289, 2012. [doi]
@article{RuhrothW12, title = {Model evolution and refinement}, author = {Thomas Ruhroth and Heike Wehrheim}, year = {2012}, doi = {10.1016/j.scico.2011.04.007}, url = {http://dx.doi.org/10.1016/j.scico.2011.04.007}, researchr = {https://researchr.org/publication/RuhrothW12}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {77}, number = {3}, pages = {270-289}, }