Liang Zhao Xiaojian Liu Zhiming Liu Zongyan Qiu Graph transformations for object-oriented refinement. 103-131 2009 21 Formal Asp. Comput. 1-2 http://dx.doi.org/10.1007/s00165-007-0067-y db/journals/fac/fac21.html#ZhaoLLQ09