TY  - BOOK
AU  - Back, Ralph-Johan.
AU  - Wright, Joakim von.
TI  - Refinement Calculus : Systematic Introduction : (GTCS)
SN  - 0-387-98417-8
CY  - USA
KW  - Electronic Digital Computers - Programming
KW  - Calculus
KW  - Computer Logic
ER  -