The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
homepages/l/LeslieLamport, Dijkstra Prize, Leslie Lamport, Home Page, http://amturing.acm.org/award_winners/lamport_1205376.cfm
