Modelling and verification in structured integrated circuit design - Buchanan, Irene (1980)