A theory of higher order communicating systems
calculus of higher order communicating systems
scientific article; zbMATH DE number 741490