%0 Journal Article %@ 2352-2216 %A De Nicola, Rocco %D 2014 %F eprints:2705 %I Elsevier %J Journal of Logical and Algebraic Methods in Programming %N 2 %P 83 %T Editor's Note %U http://eprints.imtlucca.it/2705/ %V 83