MIL-V-13994 {lang[spec-std]}