Bibtex

Anthony J.H. Simons, The Theory of Classification Part 20: Modular Checking of Classtypes

Back