Thomas F. Gritzner Rudolf Berghammer A Relation Algebraic Model of Robust Correctness. 245-270 1996 159 Theor. Comput. Sci. 2 db/journals/tcs/tcs159.html#GritznerB96 http://dx.doi.org/10.1016/0304-3975(96)88664-6