A set of reals $X$ is *strong measure zero* if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which covers $X$ and such that each $ a_i $ has length less than $ \epsilon _i $.

Does anyone know where can I find a proof that the selection principle $\mathcal S_1(\mathcal O,\mathcal O)$ implies Borel property of strong measure zero? I have seen this in The Combinatorics of open covers, but the reference there is to an article which is not in English. Thank you,