@phdthesis {PHD-199708-Romero,
   type = {Dissertation Defense},
   author = {Juan Jose Flores Romero},
   title = {Reasoning About Linear Circuits in Sinusoidal Steady State },
   school = {College of Arts and Sciences, University of Oregon},
   month = 8,
   year = 1997,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/PHD-199708-Romero.pdf}},
}