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