On the relationship of CCS and CSP (1983)

by S D Brookes