Honda » Honda » Honda formal groups and zeta functions