Specification and VLSI Design - Birtwistle, G; Joyce, J; Liblong, B; Melham, T; Schediwy, R (Department of Computer Science‚ University of Calgary, 1985)