Le definizioni sono tratte da questa pagina:

http://www.aibmproject.it/vesper/

dove in fondo c'è anche la soluzione (in formato pdf)