Giovanni B. Gerace: Digital System Design Automation - A Method for Designing a Digital System as a Sequential Network System. IEEE Trans. Computers 17(11): 1044-1061 (1968)