The Third Homomorphism Theorem (1995)

by Jeremy Gibbons, Jeremy Gibbons