References for Diaconescu