Рыбин, С. ВЫСКАЗЫВАНИЯ И ПРЕДИКАТЫ. CTE 2014.