Relational Methods In Computer Science