Jos de Bruijn Institute of Computer Science University of Innsbruck Phone: +43 512 507 6475 Fax: +43 512 507 9872 E-Mail: jos.de-bruijn@deri.ie