Поиск в разделе:

Язык, средствами которого проводится описание структурных, дедуктивных или семантических свойств ...