On automating process algebra proofs (1996)

by H Korver, A Sellink
Venue:In Proc. Symp. on Computer and Information Sciences, ISCIS XI, volume II