FSM AND SEQUENTIAL PAPERS.

Marek Perkowski, Lech Jozwiak and William Zhao, ``Symbolic Two-Dimensional Minimization of Strongly Unspecified Finite State Machines,'' Journal on System Architecture. PAGES?

M. Perkowski, J. Liu, J. Brown, "Quick Software Prototyping: CAD Design of Digital CAD Algorithms," In G. Zobrist, (ed.), "Progress in Computer Aided VLSI Design," Vol. 1., Ablex Publishing Corp., pp. 353-401, 1989.

M. A. Perkowski, D. Smith, M. Driscoll, J. Liu, J. E. Brown, "DIADES - A High-Level Synthesis System," Proc. of the IEEE 1989 ISCAS - International Symposium on Circuits and Systems, pp. 1895 - 1898, May 9-11, 1989.

M. A. Perkowski, M. Driscoll, J. Liu, D. Smith, J. Brown, L. Yang, A. Shamsapour, M. Helliwell, B. Falkowski, P. Wu, M. Ciesielski, A. Sarabi, "Integration of Logic Synthesis and High-Level Synthesis into the DIADES Design Automation System," Proc. of the IEEE 1989 ISCAS - International Symposium on Circuits and Systems, pp. 748 - 751, Portland, OR, May 9-11, 1989.

postscript of the paper

M. Perkowski, "Application of logical schemata of algorithms to the synthesis of automata," Institute of Automatic Control, Technical University of Warsaw, 247 pages in Polish, 1970.