A syntactic theory of message passing (1980)

by S A WARD, R H HALSTEAD
Venue:JACM