@article{IR,
      author = {Bellegarde, Francoise},
      url = {http://digitalcollections.ohsu.edu/record/4016},
      title = {Induction and synthesis for automatic program  transformation},
      abstract = {cse-94-022},
      number = {IR},
      doi = {https://doi.org/10.6083/hd76s033d},
      recid = {4016},
      address = {1994},
}