TITLE : CCS without T'S AUTHOR(S) : De Nicola R, Hennessy M TYPE : Conference article YEAR : 1987 CODE : 419673 *** DO NOT EDIT THIS FILE ***