The third homomorphism theorem (1996)

by J Gibbons
Venue:The Fun of Programming, Cornerstones in Computing