%I Elsevier
%P 83
%T Editor's Note
%L eprints2705
%A Rocco De Nicola
%D 2014
%R 10.1016/j.jlamp.2014.04.003
%N 2
%V 83
%J Journal of Logical and Algebraic Methods in Programming