G. Folino, C. Pizzuti, und G. Spezzano. Proceedings 10th Euromicro Workshop on Parallel,
Distributed and Network-based Processing, Seite 181--187. Canary Islands, IEEE, (9-11 January 2002)
E. Kitzelmann, U. Schmid, M. Mühlpfordt, und F. Wysotzki. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Volume 2385 von LNCS, Seite 337--354. Springer-Verlag, (2002)