Relational Methods for Computer Science Applications - Orlowska, Ewa; Orlowska, Ewa; Szalas, Andrzej; Szalas, Andrzej (Physica-Verlag HD : Imprint: Physica, 2001)