@techreport {TR-1989-010,
   type = {Technical Report},
   author = {David M. Meyer },
   title = {Backward Execution Based on Dynamic Data Dependencies},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = TR-1989-010,
   month = 5,
   year = 1989,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/TR-1989-010.pdf}},
}