Scaling Step-Wise Refinement (2004)

by Don Batory, Jacob Neal Sarvela, Axel Rauschmayer
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING