Title: A structural editor for the top-down development of PASCAL programs by stepwise refinement
First published: 1987