Hillel Wayne wrote https://learntla.com/ https://learntla.com/ which is quite good! Leslie Lamport also has a webpage of other possible learning resources, incl

Hillel Wayne wrote https://learntla.com/ https://learntla.com/ which is quite good! Leslie Lamport also has a webpage of other possible learning resources, including a video course he put together where he wears many strange hats: https://lamport.azurewebsites.net/tla/learning.html https://lamport.azurewebsites.net/tla/learning.html Personally I learned by reading the first few chapters of Specifying Systems.