Необходимо и недостаточно (СИ), стр. 2