Selected papers on computer-aided design of very large scale integrated circuits - Sangiovanni-Vincentelli, A L (New york IEEE Press, 1987)
iii, 163p.