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

by M Sheeran, G Jones
Venue:In Proceedings of CompEuro