Heiko Mantel
Principles of Stepwise Refinement
Heiko Mantel, November 22, 1999
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu