Theoretical foundations of VLSI design - McEvoy, K; Tucker, J.V (Cambridge University Press, 1990)