Le, Hong Anh and Dao, Thi Huong and Truong, Ninh Thuan  (2017) A formal approach to checking consistency in software refactoring.  Mobile networks and Applications, 22  (2).   pp. 356-366.  ISSN 1383-469X