A formal, hierarchical design and validation methodology for VLSI - Davie, Bruce S. (University <Edinburgh> / Department of Computer Science: Thesis, 1988)