?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Le%2C+Hong+Anh&rft.aulast=Le&rft.aufirst=Hong+Anh&rft.issue=2&rft.volume=22&rft.date=April+2017&rft.issn=1383-469X&rft.atitle=A+formal+approach+to+checking+consistency+in+software+refactoring&rft.title=Mobile+networks+and+Applications&rft.pages=356-366&rft.genre=article