Cardelli, L. "An Algebraic Approach to Hardware Description and Verification", Thesis, Edinburgh U, 1982

Languages mentioned

• Sticks&Stones {1982}