Sistema programmirovani︠i︡a Refal-2 dl︠i︡a ES ĖVM : opisanie vkhodnogo ︠i︡azyka - Klimov, And. V. (Andreĭ Valentinovich) (In-t prikladnoĭ metematiki im. M.V. Keldysha Akademii nauk SSSR, 1987)