add lamport's bgp paper