Leslie Lamport (source code)

= Leslie Lamport
{c}