@article{lamport2011euclid,
author = {Lamport, Leslie},
title = {Euclid Writes an Algorithm: A Fairytale},
year = {2011},
month = {June},
abstract = {This was an invited paper for a festschrift in honor of Manfred Broy's 60th birthday.  It's a whimsical introduction to TLA+, including proofs.  Judged as literature, it's probably the best thing I have ever written.},
url = {http://approjects.co.za/?big=en-us/research/publication/euclid-writes-algorithm-fairytale/},
pages = {7-20},
journal = {International Journal of Software and Informatics 5, 1-2 (2011)},
volume = {1},
edition = {Translated from an anonymous Greek manuscript by Leslie Lamport, Microsoft Research},
}