B. Bagus, “Development of Formal Models of Computer Aided Formative Assessment to Help Learning The Dynamics of Rotation”, TJIK, vol. 5, no. 2, Feb. 2017.