Le definizioni sono tratte da questa pagina:
http://www.aibmproject.it/vesper/
dove in fondo c'è anche la soluzione (in formato pdf)