Categories, Allegories and Circuit Design (1994)

by C Brown, G Hutton
Venue:In: Proc. LICS. IEEE Computer Society