@InProceedings{   Burstall1974ProgramPA,
  Author        = "Burstall, Rod M.",
  BookTitle     = "IFIP Congress",
  date-added    = "2019-06-01 08:09:07 +0200",
  date-modified = "2019-06-01 08:09:07 +0200",
  Title         = "Program Proving as Hand Simulation with a Little Induction",
  Year          = "1974"
}

@InProceedings{ Burstall1974ProgramPA, Author = "Burstall, Rod M.", BookTitle = "IFIP Congress", date-added = "2019-06-01 08:09:07 +0200", date-modified = "2019-06-01 08:09:07 +0200", Title = "Program Proving as Hand Simulation with a Little Induction", Year = "1974" }