Srinivas Devadas: Approaches to Multi-level Sequential Logic Synthesis. DAC 1989: 270-276