Olubukola D., Adekola, and Adebayo Adewale O. 2017. “Formal Methods As Specification and Verification Tools Towards Stable Software Solutions”. International Journal of Computer (IJC) 26 (1):152-60. https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1019.