The Representation Level — The Use of a Programming Language Formalism