TY  - BOOK
AU  - Back Ralph-Johan
AU  - Wright Joakim von
TI  - Refinement calculus: a systematic introduction
SN  - 0-387-98417-8
U1  - 005.14 
PY  - 1998///
CY  - New York
PB  - Springer-Verlag
KW  - Calculus
KW  - Computer logic
KW  - Computer programming
KW  - Electronic digital computers
ER  -