@article{Mi2006,
   author = {Min\'{e}, Antoine},
   title = {The octagon abstract domain},
   journal = {Higher Order Symbol. Comput.},
   volume = {19},
   number = {1},
   pages = {31--100},
   year = {2006},
   category = {journal},
   format = {pdf},
}