Algodynamics: Teaching Algorithms using Interactive Transition Systems. - Venkatesh Choppella; Viswanath Kasturi; Mrityunjay Kumar; Ojas Mohril (CoRR, 2020)