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