Bibtex de la publication

@Article{ Lu2013.1,
author = {Luo, Zhaohui and Soloviev, Sergei and Xue, Tao},
title = "{Coercive subtyping: Theory and implementation.}",
journal = {Information and Computation},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2013},
month = {février},
volume = {223},
pages = {18--42},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/12725/}
}