Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures - Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim (Lecture notes in computer science ;, 2006)