M. P. A. Sellink Verifying Process Algebra Proofs in Type Theory. 315-339 1993 conf/sosl/1993 Semantics of Specification Languages db/conf/sosl/sosl1993.html#Sellink93