R-Maple: A Concurrent Programming Language Based on Predicate Logic, Part I: Syntax & Computation ID TR-83-09 Authors Paul J. Voda Publishing date January 1983 File(s) TR-83-09.pdf