Baya Benrachi

• A structural editor for the top-down development of PASCAL programs by stepwise refinement