The Mobility Workbench --- A Tool for the -Calculus (1994)

by B Victor, F Moller
Venue:Proceedings of CAV '94, volume 818 of LNCS