Refinement Techniques in Software Engineering

by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock