@article{ITA_2012__46_2_201_0,
     author = {Moggi, Eugenio},
     title = {Foreword {ICTCS} 2010 special issue},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {201--201},
     publisher = {EDP-Sciences},
     volume = {46},
     number = {2},
     year = {2012},
     doi = {10.1051/ita/2012008},
     mrnumber = {2931246},
     zbl = {1241.68031},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ita/2012008/}
}