@TechReport{      Vardi:1996:RPV:866047,
  Author        = "Vardi, Moshe Y.",
  date-added    = "2017-07-18 20:10:19 +0000",
  date-modified = "2017-07-18 20:10:19 +0000",
  Publisher     = "Chicago Journal of Theoretical Computer Science",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Acjtcs\%3ACJTCS\%2F\%2FCJTCS-1996-1",
  Title         = "Rank Predicates vs. Progress Measures in Concurrent-Program Verification",
  Year          = "1996"
}

@TechReport{ Vardi:1996:RPV:866047, Author = "Vardi, Moshe Y.", date-added = "2017-07-18 20:10:19 +0000", date-modified = "2017-07-18 20:10:19 +0000", Publisher = "Chicago Journal of Theoretical Computer Science", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Acjtcs\%3ACJTCS\%2F\%2FCJTCS-1996-1", Title = "Rank Predicates vs. Progress Measures in Concurrent-Program Verification", Year = "1996" }