Randal E. Bryant;Jack B. Dennis
-;-
Concurrent Logic Programming as a Hardware Description Tool
IEEE Transactions on Computers
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)