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), Deauville, 14/09/2012}",
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}
}