kam, Timothy Synthesis of finite state machines : functional optimization / Timothy Kam...[et al.] - Boston Kluwer Academic pub. 1997 - xiii, 381 p. Includes references and index. ISBN: 0-7923-9842-4 Subjects--Topical Terms: Engineering machines Dewey Class. No.: 620.112 / SYN