TY  - DATA
AU  - Carroll Morgan, Trevor Vickers
TI  - On the Refinement Calculus
SN  - 9781447132738
PY  - 1992///
PB  - Springer London
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-1-4471-3273-8
ER  -