The Polyadic -Calculus: A Tutorial (1993)

by R Milner
Venue:University of Edinburgh