Bruce A. Pumplin
University of Wisconsin-Eau Claire, Department of Computer Science
Program development by stepwise refinement
Communications of the ACM
Structured programming