Move reference to LIA-1 into a new section 'Bibliography'

Author: tkoeppe

source/back.tex

@@ -1,5 +1,20 @@
 %!TEX root = std.tex
 
+\chapter{Bibliography}
+
+The following documents are cited informatively in this document.
+
+\begin{itemize}
+\renewcommand{\labelitemi}{---}
+\item
+  ISO/IEC 10967-1:2012,
+  \doccite{Information technology --- Language independent arithmetic ---
+           Part 1: Integer and floating point arithmetic}
+\end{itemize}
+
+The arithmetic specification described in ISO/IEC 10967-1:2012 is
+called \defn{LIA-1} in this document.
+
 % FIXME: For unknown reasons, hanging paragraphs are not indented within our
 % glossaries by default.
 \let\realglossitem\glossitem

source/intro.tex

@@ -45,9 +45,6 @@
 \item ISO/IEC 10646-1:1993, \doccite{Information technology ---
 Universal Multiple-Octet Coded Character Set (UCS) --- Part 1:
 Architecture and Basic Multilingual Plane}
-\item ISO/IEC 10967-1:2012, \doccite{Information technology ---
-Language independent arithmetic --- Part 1:
-Integer and floating point arithmetic}
 \item ISO/IEC/IEEE 60559:2011, \doccite{Information technology ---
 Microprocessor Systems --- Floating-Point arithmetic}
 \item ISO 80000-2:2009, \doccite{Quantities and units ---
@@ -70,10 +67,6 @@
 \pnum
 The ECMAScript Language Specification described in Standard Ecma-262 is
 hereinafter called \defn{ECMA-262}.
-
-\pnum
-The arithmetic specification described in ISO/IEC 10967-1:2012 is
-hereinafter called \defn{LIA-1}.
 \indextext{references!normative|)}
 
 \rSec0[intro.defs]{Terms and definitions}