Типы формальных ограничений и их применение