@article{IR,
      author = {Huang, Jie},
      url = {http://digitalcollections.ohsu.edu/record/3731},
      title = {Infopipesan abstraction for information flow},
      abstract = {cse-01-007},
      number = {IR},
      doi = {https://doi.org/10.6083/z890rt48c},
      recid = {3731},
      address = {2001},
}