Literature concerning AEtnaNova/Referee and its underlying logic