Bibtex de la publication

@InProceedings{ deBoCa2012.1,
author = {De Michiel, Marianne and Bonenfant, Armelle and Cassé, Hugues},
title = "{Normalisation of Loops with Covariant Variables (regular paper)}",
booktitle = "{Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville, 14/09/12}",
year = {2012},
month = {septembre},
publisher = {Science Direct},
address = {http://www.sciencedirect.com},
series = {Electronic Notes in Theoretical Computer Science},
number = {289},
pages = {41--51},
language = {anglais}
}