Exploring abstract algebra in constructive type theory (1994)

by Paul B Jackson