An Algebra for Data Flow Anomaly Detection

@inproceedings{Forman:ICSE84,
  author    = {Ira R. Forman},
  title     = {An Algebra for Data Flow Anomaly Detection},
  booktitle = {ICSE},
  pages     = {278--287},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}