Layout design and verification / - Ohtsuki, T. (North-Holland, 1986)