Clarke, E. M., Long, D. E., & MacMillan, K. L. (1989). A language for compositional specification and verification of finite state hardware controllers.
Chicago Style (17th ed.) CitationClarke, E. M., D. E. Long, and K. L. MacMillan. A Language for Compositional Specification and Verification of Finite State Hardware Controllers. Pittsburgh, Pa, 1989.
MLA (9th ed.) CitationClarke, E. M., et al. A Language for Compositional Specification and Verification of Finite State Hardware Controllers. 1989.
Warning: These citations may not always be 100% accurate.