Synthesis of Finite State Machines innbundetEngelsk, 1997