Programming in the ��-calculus -- An experiment in concurrent language design, available electronically (1995)

by B Pierce