He retired from Microsoft earlier this year. A draft of his newest book is available on the same site as this post.

A Science of Concurrent Programs - https://lamport.azurewebsites.net/tla/science-book.html