Implemented section 7.1.6. Programs and definitions.