MASINGER group Dr. Ferrante Neri Department of Mathematical Information Technology, University of Jyväskylä, Finland 10th May 2010.