Formalizing process algebraic veri cations in the calculus of constructions. Computing Science Report 95-02 (1995)

by M A Bezem, R Bol, J F Groote