A Calculus of Infinite Constructions and its application to the verification of communicating systems (1996)

by E Giménez