@techreport {AREA-201511-Johnson-Freyd,
   type = {Area Exam},
   author = {Philip Johnson-Freyd},
   title = {Refinement and Composition in Formal Modeling of Temporal Systems},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = AREA-201511-Johnson-Freyd,
   month = 11,
   year = 2015,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/AREA-201511-Johnson-Freyd.pdf}},
}