Pages 9-11 and 20-22 of Pict: A Programming Language Based on the Pi-Calculus1
Pages 34-35 of Higher-order Concurrency2
- Benjamin C. Pierce and David N. Turner.
Pict: A Programming Language Based on the Pi-Calculus.
CSCI Technical Report #476,
- John H. Reppy.
Computer Science Technical Report 92-1285,