You are about to access our book library "Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Notes in Computer Science Book 3167) full version"
.