Layout design and verification - Ohtsuki, Tatsuo (North-Holland Publishing Company, 1986)