@InCollection{Brown2007,
  author =     {Chad E. Brown},
  booktitle =      {Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday},
  title =      {M-Set Models},
  publisher =      {IFCoLog},
  year =      2008,
  series =     {Studies in Logic and the Foundations of Mathematics},
  EDITOR = {Benzm{\"u}ller, C. E. and Brown, C. E. and Siekmann, J. and Statman, R.},
  note =     {To appear}
}