G. Berry, S. Ramesh, and R. Shyamasundar. POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 85--98. New York, NY, USA, ACM Press, (1993)
B. Selic. Computer Hardware Description Languages and their Applications, page 321--330. Ottawa, Canada, Elsevier Science Publishers B.V., Amsterdam, Netherland, (1993)
B. Selic. Computer Hardware Description Languages and their Applications, page 321--330. Ottawa, Canada, Elsevier Science Publishers B.V., Amsterdam, Netherland, (1993)
G. Berry, S. Ramesh, and R. Shyamasundar. POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 85--98. New York, NY, USA, ACM Press, (1993)