@PHDTHESIS{ZadokPhDThesisProposal,
  AUTHOR =       "E. {Zadok}",
  TITLE =        "{FiST}: A File System Component Compiler",
  YEAR =         "1997",
  MONTH =        "April",
  NOTE =         "\url{www.fsl.cs.sunysb.edu/docs/zadok-thesis-proposal}",
  SCHOOL =       "Computer Science Department, Columbia University",
}