Foreword ICTCS 2010 special issue Eugenio Moggi (2012) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications Similarity: