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