ZooKeeper's leader election algorithm details?

[Andrey Kuzmin]

I'd like to take a look at formal description of the leader election
algorithm ZooKeeper implements (if it's not standard 'bully'). Is it
available?

Regards,
Andrey