Definīcija: ISO standartizēta formāla protokolu specifikāciju valoda. Tā paplašina tradicionālās galīgo automātu valodas iespējas, padarot pētāmā objekta aprakstu kompaktāku.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995