Формальный анализ: взгляды и аспекты