Boeken over Un cadre formel pour l'annotation experte des gènes eucaryotes