@inproceedings{simon08splitting,
  author = {A. Simon},
  title = {Splitting the {C}ontrol {F}low with {B}oolean {F}lags},
  booktitle = {Static Analysis Symposium},
  editor = {M. Alpuente and G. Vidal},
  month = {July},
  year = 2008,
  pages = {315-331},
  series = {LNCS},
  volume = {5079},
  publisher = {Springer},
  doi = {10.1007/978-3-540-69166-2_21},
  address = {Valencia, Spain},
}