“Pendekatan Formalisasi Model Berorientasi Objek Dengan Model Formal: Satu Tinjauan”, JT, vol. 49, no. 1, p. 1–12, Jan. 2012, doi: 10.11113/jt.v49.193.