The Wayback Machine - https://web.archive.org/web/20220316163218/https://lamport.azurewebsites.net/tla/hiding-and-refinement.pdf