[[Computing - Object Oriented Programming]]A [[Notes - Imperative Programming HT23, Abstract data types]]U [[Notes - Imperative Programming HT23, Invariants]]U