Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili: Relational Mathematics for Relative Correctness. RAMiCS 2015: 191-208