@InProceedings{PapeSchmitt97,
  author =       {Christian Pape and Peter H. Schmitt},
  title =        {{V}isualizations for {P}roof {P}resentation in
                  {T}heoretical {C}omputer {S}cience {E}ducation},
  editor =       {Z. Halim and Th. Ottmann and Z. Razak},
  booktitle = {Proceedings of International Conference on Computers in
                  Education, Kuching, Sarawak, Malaysia, December 2--6},
  year =         {1997},
  pages = {229--236},
  publisher = "Association for the Advancement of Computing in
		  Education",
  abstract =     "This paper deals with the use of visualization
                  in teaching theoretical computer science courses
                  to undergraduate students. The particular challenge
                  of visual support for abstract concepts and rigorous
                  proofs is addressed by three questions: which
                  objects should be visualized? in which place in a
                  proof should we use visualizations? and what are
                  the expected benefits of interactive visualization
                  in the domain of theoretical computer science?
                  We demonstrate our approach by one detailed example
                  taken from the area of elementary computability
                  theory."
}