Source: wikibot/leslie-lamport

= Leslie Lamport
{wiki=Leslie_Lamport}