A Graph Theoretic Approach to the Verification of Program Structures

@inproceedings{Brown-Fischer:ICSE78,
  author    = {John R. Brown and
               Kurt F. Fischer},
  title     = {A Graph Theoretic Approach to the Verification of Program Structures},
  booktitle = {ICSE},
  pages     = {136--141},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}