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