A very well known theorem (1995)

by Michael Marz, Peter Selinger
Venue:SemSoc Newsletter