A Proof System for Type Theory and CCS. - Olov Schelén; Nils-Olof Forsgren (STACS, 1989)