Relational Methods in Computer Science by H.C.M. de Swart