Kam, Timothy Villa, Tizianio Synthesis of finite state machines functional optimization - BOSTON KLUWER 1997 - XIII, 282P ISBN: 0-7923-9842-4 Dewey Class. No.: 621.395 KAM'S