TY  - BOOK
AU  - Back,Ralph-Johan
AU  - Wright,Joakim von
TI  - Refinement calculus: a systematic introduction 
T2  - Graduate texts in computer science
SN  - 0387984178 (papel alcalino)
AV  - QA76.6 B333
U1  - 005.1/4 21
PY  - 1998///
CY  - New York
PB  - Springer Verlag
KW  - Programación de computadoras
KW  - Cálculo
KW  - Lógica computacional
ER  -