A calculus of in constructions and its application to the veri of reactive systems (1996)

by E Gimenez