Author: NATO Advanced Study Institute on Computational Noncommutative Algebra and Applications (2003 Il Ciocco, Italy)