@InProceedings{fcat4cats,
  author = 	 {Greg O'Keefe},
  year = 	 2004,
  title = 	 {Towards a Readable Formalisation of Category Theory},
  booktitle = 	 {Computing: The Australasian Theory Symposium},
  editor =	 {Mike Atkinson},
  volume =	 91,
  pages =        {212-228},
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier}
}