Comment by drpacman

This is a lovely little course on TLA+ by Lamport himself - has some great wigs too https://lamport.azurewebsites.net/video/videos.html