Stepwise refinement process with modularity - Nakagawa, Ataru T.; Futatsugi, Kokichi (Proceedings of the 11th international conference on Software engineering, 1989)