@article{ETD,
      school = {Ph.D.},
      author = {Matthews, John R.},
      url = {http://digitalcollections.ohsu.edu/record/107},
      title = {Algebraic specification and verification of processor  microarchitectures},
      publisher = {Oregon Graduate Institute of Science and Technology},
      number = {ETD},
      doi = {https://doi.org/10.6083/M45718Z1},
      recid = {107},
      address = {2000},
}