Categories for the working hardware designer (1990)

by M Sheeran
Venue:In Workshop on Hardware Specification, Verification, and Synthesis: Mathematical Aspects