@INPROCEEDINGS{TFP04Widera,
  author = {Manfred Widera},
  title = {Data Flow Considerations for Source Code Directed
           Testing of Functional Programs},
  booktitle = {Proceedings of the Fifth Symposium on Trends in
               Functional Programming}, 
  year = {2004},
  editor = {Hans-Wolfgang Loidl},
  month = nov,
}