@inproceedings{mfhc:2005,
  author      = "Stan Matwin and Amy Felty and Isv{\'a}n Hern{\'a}dv{\"o}lgyi and Venanzio Capretta",
  title       = "Privacy in Data Mining Using Formal Methods",
  booktitle   = "Typed Lambda Calculi and Applications. 7th International Conference, {TLCA} 2005, Nara, Japan, April 2005",
  editor      = "Pawe{\l} Urzyczyn",
  series      = "LNCS",
  volume      = 3461,
  publisher   = "Springer",
  year        = 2005
  pages       = "278--292"
}