Verifying process algebra proofs in type theory (1993)

by M P A Sellink
Venue:In Proc. of the Int. Work. on Semantics of Specification Languages, Workshops in Computing