Relations + higher-order functions = hardware descriptions (1987)

by Geraint Jones, Mary Sheeran
Venue:In Proc. IEEE Comp Euro 87: VLSI and Computers