Stage 4 - (c) Program specification