TY - JOUR T1 - The theory of classification part 5: Axioms, assertions and subtyping JO - Journal of Object Technology UR - https://eprints.whiterose.ac.uk/79270/ PY - 2003/01/01 AU - Simons AJH ED - DO - DOI: 10.5381/jot.2003.2.1.c2 VL - 2 IS - 1 SP - 13 EP - 21 Y2 - 2024/12/25 ER -