Designing using a state machine| fsharpforfunandprofit.com
Testing the design with a trial implementation| fsharpforfunandprofit.com
