?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=4&rft.volume=9&rft.date=2021&rft.issn=2166-7160&rft.atitle=Formal+Analysis+of+Database+Trigger+Systems+Using+Event-B&rft.title=International+Journal+of+Software+Innovation&rft.genre=article