[1] [CITE[n438.pdf]], [TIME[1998-12-16T12:16:00.000Z]], [TIME[2023-10-24T01:50:21.025Z]] <http://std.dkuug.dk/jtc1/sc2/wg3/docs/n438.pdf>