Refinement techniques in software engineering : first pernambuco summer school on software engineering, PSSE 2004, Receife, Brazil, November 23-december 5, 2004 revised lectures - Cavalcanti, Ana; Sampaio, Augusto, 1964-; Woodcock, Jim, 1956- (Lecture notes in computer science ;, 2006)