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