LAYOUT design and verification vol.4 (North-Holland, 1986)