M. M, A. Alwi, and R. M. Pulungan, “Survey Metode Formal dalam Verifikasi dan Validasi”, JUITA, vol. 4, no. 1, pp. 1–11, Nov. 2016.