angelocroatti/oop15-annibali-brighi-montironi-hsm archive