Xutao Du Zhoujun Li A Proof Assistant for Mobile Processes. 204-214 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2834&spage=204 2003 conf/appt/2003 APPT db/conf/appt/appt2003.html#DuL03