@Article{Mad95, Author = "Maddux, R.", Year = "1995", Title = "{Relation-Algebraic Semantics}", Journal = "Theoretical Computer Science", Volume = "160", Number = "1-2", Pages = "1-85", Comment = "TPTPRef" }