@inproceedings{KleinKB-ITP12,
author={Gerwin Klein and Rafal Kolanski and Andrew Boyton},
title={Mechanised Separation Algebra (Rough Diamond)},
booktitle={Interactive Theorem Proving (ITP 2012)},
editor={Beringer and Felty},
publisher={Springer},series={LNCS},volume={},pages={},year=2012}