The polyadic r-calculus: A tutorial (1991)

by Robin Milner