Andrés Moreno, Niko Myller, Erkki Sutinen, Taiyu Lin, Kinshuk. Inductive Reasoning and Programming Visualization, an Experiment Proposal. Electronic Notes in Theoretical Computer Science, 178:61-68, 2007. [doi]
@article{MorenoMSLK07,
  title = {Inductive Reasoning and Programming Visualization, an Experiment Proposal},
  author = {Andrés Moreno and Niko Myller and Erkki Sutinen and Taiyu Lin and Kinshuk},
  year = {2007},
  doi = {10.1016/j.entcs.2007.01.032},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.01.032},
  tags = {programming},
  researchr = {https://researchr.org/publication/MorenoMSLK07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {178},
  pages = {61-68},
}