A Pascal variant used in ["Data Structures and Algorithms", A. Aho, Hopcroft & Ullman, A-W 1983]. It adds non-numeric labels, a return statement and expressions as names of types.