Should Your Specification Language Be Typed? (1999) [pdf]research.microsoft.com45 pointspron11 years ago