Event Based Sequential Program Development: Application to Constructing a Pointer Program