The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic (1992)

by A D Gordon
Venue:In Proceedings of the International Conference on Computer Design