@article{IR,
      recid = {3739},
      author = {Hamlet, Richard},
      title = {Functional analysis of programs},
      address = {1984},
      number = {IR},
      abstract = {cse-84-006},
      url = {http://digitalcollections.ohsu.edu/record/3739},
      doi = {https://doi.org/10.6083/b2773v93v},
}