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