Relational Methods for Computer Science Applications