@INPROCEEDINGS{Erlang04Widera,
  author = {Manfred Widera},
  title = {Flow Graphs for Testing Sequential {E}rlang Programs},
  booktitle = {Proceedings of the 3rd ACM SIGPLAN Erlang Workshop},
  year = {2004},
  publisher = {ACM Press},
}