@inproceedings{siegel13fesa,
  author = {H. Siegel and A. Simon},
  title = {{FESA}: {F}old- and {E}xpand-based {S}hape {A}nalysis},
  booktitle = {Compiler Construction},
  month = {March},
  year = 2013,
  pages = {82--101},
  series = {LNCS},
  volume = {7791},
  publisher = {Springer},
  address = {Rome, Italy},
}