@inproceedings{	fk:classes06,
  author	= "Florent Kirchner",
  title		= "A Finite First-order Theory of Classes",
  booktitle	= "Types for Proofs and Programs, Revised Selected Papers",
  pages		= "188--202",
  series	= "Lecture notes in Computer Science",
  publisher	= "Springer-Verlag",
  address       = "Heidelberg",
  year		= 2006
}