@PhdThesis{       Miranda,
  Author        = "de Miranda, Jolie G.",
  date-added    = "2012-12-14 13:30:09 +0000",
  date-modified = "2012-12-15 17:22:29 +0000",
  Keywords      = "higher-order recursion schemes and safety restriction",
  School        = "Oxford University Computing Laboratory",
  Title         = "Structures Generated by Higher-Order Grammars and the Safety Constraint",
  Year          = "2006",
  File          = "Structures Generated by Higher-Order Grammars and the Safety Constraint - Miranda (0) (0) - a - a - u.pdf"
}

@PhdThesis{ Miranda, Author = "de Miranda, Jolie G.", date-added = "2012-12-14 13:30:09 +0000", date-modified = "2012-12-15 17:22:29 +0000", Keywords = "higher-order recursion schemes and safety restriction", School = "Oxford University Computing Laboratory", Title = "Structures Generated by Higher-Order Grammars and the Safety Constraint", Year = "2006", File = "Structures Generated by Higher-Order Grammars and the Safety Constraint - Miranda (0) (0) - a - a - u.pdf" }