The polyadic p-calculus: a tutorial (1991)

by R Milner
Venue:Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK