The Polyadic -calculus. a tutorial, (1991)

by R Milner