5 ms·The Anatomy of a Puzzle - A Case Study In “Specification Driven Programming”21 points by raphaelss 11y ago