Understanding Natural Programs Using Proper Decomposition

@inproceedings{Hartman:ICSE91,
  author    = {John Hartman},
  title     = {Understanding Natural Programs Using Proper Decomposition},
  booktitle = {ICSE},
  pages     = {62--73},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1991},
}