Asymptotic giant branch stars, Harm Jan Habing, Hans Olofsson