Describing state machines using math
blog.the-pans.com