@mastersthesis {MS-198806-Nagarajan,
   type = {Masters Thesis},
   author = {P. Nagarajan},
   title = {A Critic For Software Specifications},
   school = {College of Arts and Sciences, University of Oregon},
   month = 6,
   year = 1988,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/MS-198806-Nagarajan.pdf}},
}