A Calculus of Infinite constructions and its applications to the verification of communicating systems (1996)

by E Giménez