A formal, hierarchical design and validation methodology for VLSI - Davie, Bruce S. (Univ. of Edinburgh, Dep. of Computer Sci., 1988)
Edinburgh, Univ., Diss., 1988