H. Lin A Verification Tool for Value-Passing Processes. 79-92 1993 conf/pstv/1993 PSTV db/conf/pstv/pstv1993.html#Lin93