update, add link to lamport's original paper

Signed-off-by: jonnyhsy <jonnyhsy@foxmail.com>