http://www.cs.unibo.it/~sacerdot/examples