Noel Welsh - Finite State Machines for Functional Software Machinery