Pierre America The Interplay of Theory and Practice in a Parallel Object-Oriented Language. 1-20 1988 conf/facs/1988 Specification and Verification of Concurrent Systems db/conf/facs/facs1988.html#America88