@PHDTHESIS{ZadokPhDThesis,
  AUTHOR =       "E. {Zadok}",
  TITLE =        "{FiST}: A System for Stackable File System Code Generation",
  YEAR =         "2001",
  MONTH =        "May",
  NOTE =         "\url{www.fsl.cs.sunysb.edu/docs/zadok-phd-thesis/thesis.pdf}",
  SCHOOL =       "Computer Science Department, Columbia University",
}