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