@Misc{            Ongb,
  Author        = "Ong, Luke",
  date-added    = "2013-06-12 09:03:28 +0000",
  date-modified = "2013-06-12 09:03:42 +0000",
  Keywords      = "higher-order recursive schemes",
  Title         = "EWSCS13 Lecture Course: Higher-Order Model Checking",
  bdsk-url-1    = "http://www.cs.ox.ac.uk/people/luke.ong/personal/EWSCS13",
  File          = "EWSCS13 Lecture Course Higher-Order Model Checking - Ong (0) (0) - a - a - y.pdf",
  file-2        = "EWSCS13 Lecture Course Higher-Order Model Checking - Ong (1) (0) - a - a - y.pdf",
  file-3        = "EWSCS13 Lecture Course Higher-Order Model Checking - Ong (2) (0) - a - a - y.pdf"
}

@Misc{ Ongb, Author = "Ong, Luke", date-added = "2013-06-12 09:03:28 +0000", date-modified = "2013-06-12 09:03:42 +0000", Keywords = "higher-order recursive schemes", Title = "EWSCS13 Lecture Course: Higher-Order Model Checking", bdsk-url-1 = "http://www.cs.ox.ac.uk/people/luke.ong/personal/EWSCS13", File = "EWSCS13 Lecture Course Higher-Order Model Checking - Ong (0) (0) - a - a - y.pdf", file-2 = "EWSCS13 Lecture Course Higher-Order Model Checking - Ong (1) (0) - a - a - y.pdf", file-3 = "EWSCS13 Lecture Course Higher-Order Model Checking - Ong (2) (0) - a - a - y.pdf" }