TY - JOUR T1 - The Theory of Classification part 20: Modular checking of classtypes JO - Journal of Object Technology UR - https://eprints.whiterose.ac.uk/79263/ PY - 2005/01/01 AU - Simons AJH ED - DO - DOI: 10.5381/jot.2005.4.7.c1 VL - 4 IS - 7 SP - 7 EP - 18 Y2 - 2025/03/14 ER -