РЕФАЛ-5 Руководство по программированию и справочник Турчин В.Ф..