“Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan”. Jurnal Teknologi 49, no. 1 (January 20, 2012): 1–12. Accessed July 23, 2024. https://journals.utm.my/jurnalteknologi/article/view/193.