Title: Programming with transition diagrams