@inproceedings{paper27,
  author = "I. Mackie and L. Roman and S. Abramsky",
  booktitle = "Journal of Applied Categorical Structures",
  pages = "311-343",
  title = "An Internal Language for Autonomous Categories",
  volume = "1",
  year = "1993",
}