De Nicola, Rocco Editor's Note. Journal of Logical and Algebraic Methods in Programming, 83 (2). p. 83. ISSN 2352-2216 (2014)