The TLA

Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz

Browse the full ICTAC paper archive.