Stephen A. Schuman David H. Pitt Paddy H. Byers Object-Oriented Process Specification. 21-70 1988 conf/facs/1988 Specification and Verification of Concurrent Systems db/conf/facs/facs1988.html#SchumanPB88