Categorical logic of names and abstraction in action calculus - Pavlovic, D (1997)