Megj.: volt egy előző ajánlás 1999-ből, de ez az újabb, érvényes változat
Precíz, gráfokon alapuló szemantika
Elsősorban implementációkat készitőknek való