@TechReport{MM06,
  Author         = {J.-Y. Marion and J.-Y. Moyen},
  Title          = {Heap-size analysis for assembly programs},
  Institution    = {LIPN},
  url            = {https://hal.ccsd.cnrs.fr/ccsd-00023668},
  year           = 2006,
  lipn-category = "rapl",
}