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 (Feb. 2017). DOI:https://doi.org/10.18592/tarbiyah.v5i2.981.