TY  - BOOK
AU  -  Back, Ralph-johan
TI  -  Refinement Calculus : A Systematic Introduction
SN  - 9780387984179
U1  - 005.14 
PY  - 1998///
CY  -  New York, 
PB  - Springer
KW  -  Programmazione Sequenziale Verifica Dei Programmi
N1  - index
N2  - 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
ER  -