Symbolic Interpretation and Tracing of PASCAL-Programs

@inproceedings{Persch-Winterstein:ICSE78,
  author    = {Guido Persch and
               Georg Winterstein},
  title     = {Symbolic Interpretation and Tracing of {PASCAL-Programs}},
  booktitle = {ICSE},
  pages     = {312--319},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}