Hongwei Xi: Weak and Strong Beta Normalisations in Typed Lambda-Calculi. TLCA 1997: 390-404