A Formal System for Euclid's Elements

The Cambridge link appears to be down. Try arXiv instead: http://arxiv.org/pdf/0810.4315v3