--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Separation_Algebra/document/root.bib	Sat Sep 13 10:07:14 2014 +0800
@@ -0,0 +1,6 @@
+@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}