A state-driven vpe system

This is a specification for a 'state-driven' VISIBLE PROGRAM EXECUTION (VPE) system which, given a small Pascal 'displayed program', automatically produces a VPE ~output program'. The VPE 'output program', when executed, visibly executes the 'displayed program' on a computer terminal.