@Book{MM04,
author={A. McIver and C. Morgan},
title={Abstraction, refinement and proof for probabilistic systems},
publisher={Springer},
year={2004},

volume={},
series={},
address={},
edition={},
month={},
note={},
key={}
}