DESIGN METHODOLOGIES FOR VLSI AND COMPUTER ARCHITECTURE - Edwards, D.A. (North-Holland, 1989)