High-Level Specifications: Lessons from Industry (2003) [pdf]research.microsoft.com1 point·pron··0 commentsOpen articleSaveView on HN