Text this: Formalization of programming concepts :