Bent Thomsen Plain CHOCS: A Second Generation Calculus for Higher Order Processes. 1-59 1993 30 Acta Inf. 1 db/journals/acta/acta30.html#Thomsen93