@TechReport{      Manna:1973:AAT:891989,
  Author        = "Manna, Z and Pnueli, Amir",
  Address       = "Stanford, CA, USA",
  date-added    = "2013-01-22 05:04:35 +0000",
  date-modified = "2013-01-22 05:58:18 +0000",
  Keywords      = "axiomatic semantics",
  Publisher     = "Stanford University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Astan\%3ASTAN\%2F\%2FCS-TR-73-382",
  Title         = "Axiomatic approach to total correctness of programs",
  Year          = "1973",
  File          = "Axiomatic approach to total correctness of programs - Manna, Pnueli (0) (0) - a - a - r.pdf"
}

@TechReport{ Manna:1973:AAT:891989, Author = "Manna, Z and Pnueli, Amir", Address = "Stanford, CA, USA", date-added = "2013-01-22 05:04:35 +0000", date-modified = "2013-01-22 05:58:18 +0000", Keywords = "axiomatic semantics", Publisher = "Stanford University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Astan\%3ASTAN\%2F\%2FCS-TR-73-382", Title = "Axiomatic approach to total correctness of programs", Year = "1973", File = "Axiomatic approach to total correctness of programs - Manna, Pnueli (0) (0) - a - a - r.pdf" }