@article{IR,
      recid = {3980},
      author = {Gerlek, Michael P.},
      title = {Detecting induction variables using SSA form},
      address = {1993},
      number = {IR},
      abstract = {cse-93-014},
      url = {http://digitalcollections.ohsu.edu/record/3980},
      doi = {https://doi.org/10.6083/hq37vn90n},
}