Kazuhiro Ogata Kokichi Futatsugi State Machines as Inductive Types. 2985-2988 2007 90-A IEICE Transactions 12 http://dx.doi.org/10.1093/ietfec/e90-a.12.2985 db/journals/ieicet/ieicet90a.html#OgataF07a