The formal definition of a synchronous Hardware-Description Language (1992)

by A D Gordon
Venue:in Higher Order Logic. ICCD92: International Conference on Computer Design