@article{IR,
      author = {Matthews, John},
      url = {http://digitalcollections.ohsu.edu/record/3796},
      title = {Elementary microarchitecture algebra: top-level proof of  pipelined microarchitecture},
      abstract = {cse-99-002},
      number = {IR},
      doi = {https://doi.org/10.6083/kh04dq03d},
      recid = {3796},
      address = {1999},
}