Should Your Specification Language Be Typed? (1999) [pdf]lamport.azurewebsites.net2 pointsTomte5 years ago