Refinement Calculus : A Systematic Introduction (Graduate Texts in Computer Science) (1998. XV, 519 p. w. 27 figs. 24 cm)

Much current research in computer science is concerned with two questions: is a program correct? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement.