AT&T Labs Research - FSM Library