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