(1) ข้อมูลจำเพาะเกี่ยวกับการเขียน และได้รับอนุมัติตามมติของสร้าง standards.~(2) สเปคเขียนกรณ์ตัวอย่างเป็นทางการ บ่อยครั้งสำหรับใช้ในการพิสูจน์ของความถูกต้อง