Hydra: hardware description in a functional language using recursion equations and high order combining forms (1988)

by John O’Donnell
Venue:The Fusion of Hardware Design and Verification