ISO/IEC TR 24731-1:2007 Информационные технологии. Языки программирования, их среда и системные программные интерфейсы. Расширения к библиотеке С. Часть 1. Интерфейсы для граничной проверки
Information technology -- Programming languages, their environments and system software interfaces -- Extensions to the C library -- Part 1: Boundschecking interfaces