Using Relational Methods in Computer Science ALI JAOUA PETER KEMPF GUNTHER S CHMIDT ( EDS .) Bericht Nr. 1998-03 Juli 1998 Universität der Bundeswehr München Fakultät für . INFORMATIK Werner-Heisenberg-Weg 39 • D-85577 Neubiberg