Wilsey, Peter A.Mause, Norman E.Ashenden, Peter J.2007-05-162007-05-161996Hardware Component Modeling / Jean-Michel BergeĢ, Oz Levia and Jacques Rouillard (eds.): ch.4, pp.33-53http://hdl.handle.net/2440/31399enAbstract Data Types and the Digital System Description and Simulation EnvironmentsBook chapter