Nucleosynthesis of light elements inside thermally pulsing AGB stars - I. The case of intermediate-mass starsM. Forestini and C. CharbonnelAstron. Astrophys. Suppl. Ser., 123 2 (1997) 241-272DOI: https://doi.org/10.1051/aas:1997348