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