TY - JOUR ID - eprints2705 VL - 83 JF - Journal of Logical and Algebraic Methods in Programming IS - 2 UR - http://www.sciencedirect.com/science/article/pii/S2352220814000315 Y1 - 2014/03// AV - none TI - Editor's Note PB - Elsevier SN - 2352-2216 A1 - De Nicola, Rocco ER -