The polyadic -calculus: a tutorial (1994)

by R Milner
Venue:In Proceedings of International NATO Summer School