Jim Woodcock,Ana Cavalcanti,Augusto Sampaio

• Refinement Techniques in Software Engineering