@InProceedings{MMAppsem,
  Author         = {J.-Y. Marion and J.-Y. Moyen},
  Title          = {Termination and Non Size Increasingness of assembly
                   programs},
  BookTitle      = {AppSem},
  url            = "http://www-lipn.univ-paris13.fr/~moyen/papiers/appsem05.pdf",
  year           = 2005
}