Bagus, Baden. 2017. “Development of Formal Models of Computer Aided Formative Assessment to Help Learning The Dynamics of Rotation”. Tarbiyah : Jurnal Ilmiah Kependidikan 5 (2). https://doi.org/10.18592/tarbiyah.v5i2.981.