Scaling Step-Wise Refinement (2004)

by D Batory, J N S Sarvela, A Rauschmayer
Venue:IEEE Transactions on Software Engineering