@Misc{            Venema,
  Author        = "Venema, Yde",
  date-added    = "2013-06-26 09:04:43 +0000",
  date-modified = "2013-06-26 09:05:09 +0000",
  Keywords      = "modal mu-calculus",
  Title         = "Lectures on the modal {$\mu$}-calculus",
  Year          = "2008",
  File          = "Lectures on the modal {$\mu$}-calculus - Venema (0) (0) - a - a - n.pdf"
}

@Misc{ Venema, Author = "Venema, Yde", date-added = "2013-06-26 09:04:43 +0000", date-modified = "2013-06-26 09:05:09 +0000", Keywords = "modal mu-calculus", Title = "Lectures on the modal {$\mu$}-calculus", Year = "2008", File = "Lectures on the modal {$\mu$}-calculus - Venema (0) (0) - a - a - n.pdf" }