D.R.: Software development by refinement (2003)

by D Pavlovic, Smith
Venue:Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS