CIE Pseudocode – Abstract Data Types