Evolutionary Software Development in the Refinement Calculus (2000)

by Lindsay Groves