Refinement Techniques in Software Engineering: First ...
Ana Cavalcanti
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife,
Brazil, November 23-December 5, 2004, Revised Lectures Ana Cavalcanti,
Augusto Sampaio Jim Woodcock ...