"Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December " - читать интересную книгу автора (Ana Cavalcanti, Augusto Sampaio, Jim Woodcock)