@Unpublished{     LesterNeatherwayOngRamsay,
  Author        = "Lester, M. and Neatherway, R. and Ong, C. -H. L. and Ramsay, S.",
  date-added    = "2013-01-30 10:52:57 +0000",
  date-modified = "2013-05-01 09:42:57 +0000",
  Keywords      = "higher-order recursion schemes and readme",
  Title         = "Model Checking Liveness Properties of Higher-Order Functional Programs",
  Year          = "2010",
  bdsk-url-1    = "https://mjolnir.comlab.ox.ac.uk/thors/",
  File          = "Model Checking Liveness Properties of Higher-Order Functional Programs - Lester, Neatherway, Ong, Ramsay (2) (0) - a - a - z.pdf",
  file-2        = "Model Checking Liveness Properties of Higher-Order Functional Programs - Lester, Neatherway, Ong, Ramsay (0) (0) - a - a - z.pdf",
  file-3        = "Model Checking Liveness Properties of Higher-Order Functional Programs - Lester, Neatherway, Ong, Ramsay (1) (0) - a - a - z.pdf"
}

@Unpublished{ LesterNeatherwayOngRamsay, Author = "Lester, M. and Neatherway, R. and Ong, C. -H. L. and Ramsay, S.", date-added = "2013-01-30 10:52:57 +0000", date-modified = "2013-05-01 09:42:57 +0000", Keywords = "higher-order recursion schemes and readme", Title = "Model Checking Liveness Properties of Higher-Order Functional Programs", Year = "2010", bdsk-url-1 = "https://mjolnir.comlab.ox.ac.uk/thors/", File = "Model Checking Liveness Properties of Higher-Order Functional Programs - Lester, Neatherway, Ong, Ramsay (2) (0) - a - a - z.pdf", file-2 = "Model Checking Liveness Properties of Higher-Order Functional Programs - Lester, Neatherway, Ong, Ramsay (0) (0) - a - a - z.pdf", file-3 = "Model Checking Liveness Properties of Higher-Order Functional Programs - Lester, Neatherway, Ong, Ramsay (1) (0) - a - a - z.pdf" }