Action structures for the ��-calculus, Research Report ECS--LFCS--93--264 (1992)

by R Milner