An algebraic framework for data abstraction in hardware description (1990)

by Zheng Zhu, Steven D Johnson
Venue:Proceedings of The Oxford Workshop on Designing Correct Circuits