My Writings. Lamport, L.
My Writings [link]Paper  bibtex   
@misc{Lamport2015,
  author    = {Leslie Lamport},
  title     = {{My Writings}},
  url = {http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html},
  urldate={2015-10-06},
  annote = {the string obtained by removing the - characters from the string alllam-portspu-bsonth-eweb.}
}

Downloads: 0