1 @inproceedings{KleinKB-ITP12,

     2 author={Gerwin Klein and Rafal Kolanski and Andrew Boyton},

     3 title={Mechanised Separation Algebra (Rough Diamond)},

     4 booktitle={Interactive Theorem Proving (ITP 2012)},

     5 editor={Beringer and Felty},

     6 publisher={Springer},series={LNCS},volume={},pages={},year=2012}