Theoretical foundations of VLSI design - McEvoy, K.; Tucker, J. V. (Cambridge Tracts in Theoretical Computer Science, 1990)