Strong functors and monoidal monads - Kock, Anders (Aarhus Universitet, 1970)