@article{PavlovicD:CLNA,
  title = "Categorical logic of names and abstraction in action calculus",
  author = "Dusko Pavlovic",
  year = "1997",
  journal = "Math. Structures in Comp. Sci.",
  pages = "619--637",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLNA.ps",
  volume = "7",
}