@PhdThesis{       GreenePhD,
  Author        = "Greene, Daniel H.",
  date-added    = "2023-03-01 09:39:12 +0100",
  date-modified = "2023-03-01 09:40:06 +0100",
  Month         = "Jun",
  School        = "STANFORD UNIV CA DEPT OF COMPUTER SCIENCE",
  Title         = "Labelled Formal Languages and Their Uses",
  Year          = "1983",
  File          = "Labelled Formal Languages and Their Uses - ADA328418 - a.pdf"
}

@PhdThesis{ GreenePhD, Author = "Greene, Daniel H.", date-added = "2023-03-01 09:39:12 +0100", date-modified = "2023-03-01 09:40:06 +0100", Month = "Jun", School = "STANFORD UNIV CA DEPT OF COMPUTER SCIENCE", Title = "Labelled Formal Languages and Their Uses", Year = "1983", File = "Labelled Formal Languages and Their Uses - ADA328418 - a.pdf" }