Bibliography

The arithmetic specification described in ISO/IEC 10967-1:2012 is called LIA-1 in this document.