Le, Hong Anh and To, Van Khanh and Truong, Ninh Thuan  (2021) Formal Analysis of Database Trigger Systems Using Event-B.  International Journal of Software Innovation, 9  (4).    ISSN 2166-7160    (In Press)