MSYN: Automatic synthesis of hardware. - I. Causarano; R. Guizzeti; M. Pipponzi; Fabio Somenzi (Microprocessing and Microprogramming, 1989)