On the number of fixed points of a combinator in lambda calculus. - Benedetto Intrigila; E. Biasone (Math. Struct. Comput. Sci., 2000)