HOPF BIMODULES ARE MODULES
Claude Cibils
Marc Rosso
DVI
PS