Relational mathematics - Schmidt, gunther (CUP, 2011)