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