Wendy MacCaull, Ewa Orlowska: A Calculus of Typed Relations. RelMiCS 2003: 191-201