#

https://www.lamport.org/

https://lamport.azurewebsites.net/tla/tla.html?from=https://research.microsoft.com/users/lamport/tla/tla.html&type=path


https://lamport.azurewebsites.net/tla/tla.html?from=https://www.webcentive.com/users/acasanova/tla.html&type=path

https://www.youtube.com/watch?v=HxP4wi4DhA0&list=PLWLcqZLzY8u9d78Ey5KUCMFLgNgYoFgCX&index=2