Zinn. Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems. Springer International Publishing, 2014, doi:10.1007/978-3-319-11206-0_4.