@INPROCEEDINGS{IFL03Widera,
  author = {Manfred Widera},
  title = {Towards Flow Graph Directed Testing of Functional Programs},
  booktitle = {Draft Proceedings of the 15th International Workshop on the
               Implementation of Functional Languages, IFL},
  year = {2003},
  editor = {Phil Trinder and Grag Michaelson},
}