Relational mathematics - Schmidt, Gunther (Cambridge Cambridge University Press, 2011)
Keywords: Computer science