Title: An editor for interactive development of Pascal programs by stepwise refinement
First published: 1989