Relational Methods For Computer Science Applications by Andrez Szalas