Bagus, B. “Development of Formal Models of Computer Aided Formative Assessment to Help Learning The Dynamics of Rotation”. Tarbiyah : Jurnal Ilmiah Kependidikan, vol. 5, no. 2, Feb. 2017, doi:10.18592/tarbiyah.v5i2.981.