Author: ENUMATH 99 (1999 University of Jyväskylä)