Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html