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