High-Level Specifications: Lessons from Industry (2003) [pdf]research.microsoft.com10 pointspron11 years ago