kam, Timothy SYNTHESIS of finite state machines: functional optimization - Boston Kluwer Academic pub. 1997 - xiii, 282 p. ISBN: 792398424 Subjects--Topical Terms: Engineering machines Dewey Class. No.: 620.112 / SYN