Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan. Jurnal Teknologi (Sciences & Engineering), [S. l.], v. 49, n. 1, p. 1–12, 2012. DOI: 10.11113/jt.v49.193. Disponível em: https://journals.utm.my/jurnalteknologi/article/view/193.. Acesso em: 5 dec. 2025.