@techreport {TR-1993-002,
   type = {Technical Report},
   author = {Sekhar Sarukkai, Allen Malony},
   title = {Perturbation Analysis of High Level Instrumentation for SPMD Programs},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = TR-1993-002,
   month = 2,
   year = 1993,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/TR-1993-002.pdf}},
}