IEEE 1800-2012

GPTKB entity