Worked example: Designing for correctnessWorked example: A stack based calculatorWorked example: Parsing command line argumentsWorked example: Roman numeralsCommentary on ‘Roman Numerals Kata with Commentary’Calculator Walkthrough: Part 1Enterprise Tic-Tac-ToeWriting a JSON parser from scratch