Automated partitioning of hierarchically specified digital systems. - Thomas S. Payne; William M. van Cleemput (DAC, 1982)