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

by G Barthe, M J Frade, E Gimenez, L Pinto, T Uustalu