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