Seeking Concurrency in Rule-Based Programming (1992)

by Gruia-Catalin Roman , Rose F. Gamble , William E. Ball