Arbitrary hardware software trade-offs. - Peter F. A. Middelhoek (RSP, 1995)

From VHDL to efficient and first-time-right designs: a formal approach. - Peter F. A. Middelhoek; Sreeranga P. Rajan (ACM Trans. Design Autom. Electr. Syst., 1996)