High-Level Specifications: Lessons from Industry (2003) [pdf]research.microsoft.com10 points·pron··1 commentOpen articleSaveView on HN