[intro.refs] Fix document titles

Author: tkoeppe

source/intro.tex

@@ -36,24 +36,20 @@
 \item ISO/IEC 2382, \doccite{Information technology --- Vocabulary}
 \item ISO 8601-1:2019, \doccite{Date and time --- Representations for information interchange --- Part 1: Basic rules}
 \item \IsoC{}, \doccite{Information technology --- Programming languages --- C}
-\item ISO/IEC/IEEE 9945:2009, \doccite{Information Technology --- Portable
-Operating System Interface (POSIX
-\begin{footnote}
+\item ISO/IEC/IEEE 9945:2009, \doccite{Information Technology --- Portable Operating System Interface\begin{footnote}
 POSIX\textregistered\ is a registered trademark of
 the Institute of Electrical and Electronic Engineers, Inc.
 This information is given for the convenience of users of this document and
 does not constitute an endorsement by ISO or IEC of this product.
 \end{footnote}%
-)}
-\item ISO/IEC/IEEE 9945:2009/Cor 1:2013, \doccite{Information Technology --- Portable
-Operating System Interface (POSIX), Technical Corrigendum 1}
-\item ISO/IEC/IEEE 9945:2009/Cor 2:2017, \doccite{Information Technology --- Portable
-Operating System Interface (POSIX), Technical Corrigendum 2}
-\item ISO/IEC/IEEE 60559:2020, \doccite{Information technology ---
-Microprocessor Systems --- Floating-Point arithmetic}
-\item ISO 80000-2:2009, \doccite{Quantities and units ---
-Part 2: Mathematical signs and symbols
-to be used in the natural sciences and technology}
+(POSIX\textregistered) Base Specifications, Issue 7}
+\item ISO/IEC/IEEE 9945:2009/Cor 1:2013, \doccite{Information Technology --- Portable Operating System Interface
+(POSIX\textregistered) Base Specifications, Issue 7 --- Technical Corrigendum 1}
+\item ISO/IEC/IEEE 9945:2009/Cor 2:2017, \doccite{Information Technology --- Portable Operating System Interface
+(POSIX\textregistered) Base Specifications, Issue 7 --- Technical Corrigendum 2}
+\item ISO/IEC 60559:2020, \doccite{Information technology --- Microprocessor Systems --- Floating-Point arithmetic}
+\item ISO 80000-2:2009, \doccite{Quantities and units --- Part 2:
+Mathematical signs and symbols to be used in the natural sciences and technology}
 % Other international standards.
 \item Ecma International, \doccite{ECMAScript
 \begin{footnote}