L<Omega>UI: Lovely <Omega>MEGA User Interface. - Jörg H. Siekmann; Stephan M. Hess; Christoph Benzmüller; Lassaad Cheikhrouhou; Armin Fiedler; Helmut Horacek; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Martin Pollet; Volker Sorge (Formal Aspects Comput., 1999)

Agent-Oriented Integration of Distributed Mathematical Services. - Andreas Franke 001; Stephan M. Hess; Christoph G. Jung; Michael Kohlhase; Volker Sorge (J. Univers. Comput. Sci., 1999)