?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Dao%2C+Thi+Huong&rft.aulast=Dao&rft.aufirst=Thi+Huong&rft.date=26+March+2016&rft.title=An+approach+to+verifying+consistency+of+software+refactoring+process&rft.genre=proceeding