How to Combine Z with Process Algebra.

Clemens Fischer How to Combine Z with Process Algebra. 5-23 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#Fischer98