@article{math-classes,
 author    = {Bas Spitters and Eelis van der Weegen},
 title     = {Type Classes for Mathematics in Type Theory},
 journal   = "{MSCS, special issue on `Interactive theorem proving and the formalization of mathematics'}",
 volume    = 21,
 pages     = {1--31},
 doi       = {10.1017/S0960129511000119},
 publisher = {Cambridge University Press},
 year      = {2011}
}