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