An Algebraic Approach to Hardware Description and Verification (1982)

by L Cardelli