Exploring (finite) relation algebras using tools written in Haskell - Kahl, Wolfram; Schmidt, Gunther 1939- (Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 2000)