The polyadic ~r-calculus: A tutorial. Res (1991)

by R Milner