“Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan”. 2012. Jurnal Teknologi 49 (1): 1–12. https://doi.org/10.11113/jt.v49.193.