@mastersthesis {MS-199808-Fiskio-Lasseter,
   type = {Masters Thesis},
   author = {John Howard Eli Fiskio-Lasseter},
   title = {A Formal Description of Behavioral Verilog Based on Axiomatic Semantics},
   school = {College of Arts and Sciences, University of Oregon},
   month = 8,
   year = 1998,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/MS-199808-Fiskio-Lasseter.pdf}},
}