Project documentation; cited manual sections are recorded below.

The section credits refer to the GNU MP development team.

By A. Karatsuba, Yu. Ofman.

Published in Doklady Akademii Nauk SSSR, 145(2), 293–294.

Online text: www.mathnet.ru/eng/dan26729

Cited passages: Karatsuba and Ofman, Multiplication of many-digital numbers by automatic computers, original Russian article, 1962, pp. 293–294: Theorem 2, its proof, and the footnote on p. 294.

By Donald Michie.

Published in Nature 218, pp. 19–22.

Online text: www.nature.com/articles/218019a0

Cited passages: Donald Michie, “Memo” Functions and Machine Learning, Nature 218, pp. 19–22 (1968), abstract: programming-language rote learning motivated by efficiency during execution.

By Massachusetts Institute of Technology, 6.006 course staff.

Publisher: MIT OpenCourseWare, Massachusetts Institute of Technology.

This source is credited to an organization.

Online text: ocw.mit.edu/courses/6-006-introduction-to-algorithms-spring-2020/9eb3e9a51a7b5b60b0f67c2277f8b0ee_MIT6_006S20_lec15.pdf

Spring 2020 identifies the MIT 6.006 course offering. The institutional credit applies to these notes; listed course instructors are not inferred to be their authors.

Cited passages: MIT 6.006 Spring 2020, Lecture 15: Recursive Algorithms, printed p. 3, final three bullets: growing Fibonacci bit lengths and addition cost; MIT 6.006 Spring 2020, Lecture 15: Recursive Algorithms, printed pp. 2–3, Fibonacci Numbers and Re-using Subproblem Solutions.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: sel4.systems/Verification/assumptions.html

Cited passages: What the Proofs Assume, The Assumptions: Assembly, Hardware, Hardware management, Boot code, DMA, Information side-channels; What the Proofs Assume, The Assumptions: DMA and memory-mapped device registers.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: sel4.systems/Verification/proofs.html

Cited passages: seL4 Proofs, High-level Proof Statements: Functional correctness; Binary correctness; Security; System initialisation; platform/configuration qualification.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: docs.sel4.systems/Tutorials/ipc.html

Cited passages: IPC tutorial, Background: System calls, seL4_Call and reply capabilities; IPC tutorial, Background: System calls; IPC Buffer; Data transfer; IPC tutorial, Background: endpoint queues.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: docs.sel4.systems/Tutorials/capabilities.html

Cited passages: Capabilities tutorial, Background: What is a capability?; Capabilities tutorial, Background: What is a capability?; CNodes and CSlots.

By Jochen Liedtke.

Publisher: Association for Computing Machinery.

Published in Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP); also ACM SIGOPS Operating Systems Review, 29(5), pp. 237–250.

Online text: flint.cs.yale.edu/cs428/doc/p237-liedtke.pdf

Cited passages: Liedtke, On micro-kernel construction, section 2, pp. 238–240: minimality criterion, address spaces, threads and IPC; section 3, pp. 240–241: user-level services; Liedtke, On micro-kernel construction, section 4.1, pp. 241–244: kernel-user switches, address-space switches, and discussion of hardware-dependent cache and TLB effects.

By RISC-V International.

Publisher: RISC-V International.

This source is credited to an organization.

Online text: docs.riscv.org/reference/isa/_attachments/riscv-privileged.pdf

Cited passages: Version 20260120, section 12.3.2, printed p. 134, steps 2–8; section 12.4.1, printed p. 137: Sv39 uses the same algorithm with LEVELS=3 and PTESIZE=8; Version 20260120, section 12.4.1, printed pp. 136–137, Figures 68–70: address fields, entry sizes, root, and larger pages.

By The kernel development community.

Publisher: The kernel development community.

This source is credited to an organization.

Online text: docs.kernel.org/mm/page_tables.html

Cited passages: MMU, TLB, and Page Faults: translation caches, page walks, and faults for missing or forbidden mappings; Page Tables: opening hierarchy discussion, paragraph beginning "One could of course imagine"; Page Table Folding.

By Microsoft.

Publisher: Microsoft Learn.

This source is credited to an organization.

Online text: learn.microsoft.com/en-us/office/client-developer/excel/excel-recalculation

Cited passages: Dependence, Dirty Cells, and Recalculated Cells: paragraph beginning “When a structural change is made”; B1/A1 and C1/B1 dirty-cell example; Dependence, Dirty Cells, and Recalculated Cells: paragraphs beginning “In Excel 2002 and earlier versions” and “In Excel 2007”.

Collection of sources; individual chapter authors and dates are recorded below.

Publisher: Massachusetts Institute of Technology, MIT OpenCourseWare.

By D. L. Parnas.

Publisher: Association for Computing Machinery.

Published in Communications of the ACM, volume 15, number 12, pp. 1053–1058.

Online text: john.cs.olemiss.edu/~hcc/csci555/notes/localcopy/Parnas_Criteria_Decomposing.pdf

Cited passages: Parnas, pp. 1054 and 1056, What Is Modularization? and The Criteria: responsibility assignments and hidden design decisions.

Publisher: Python Software Foundation.

By Mark Adler, Thomas Boutell, Christian Brunschen, Adam M. Costello, Lee Daniel Crocker, Andreas Dilger, Oliver Fromme, Jean-loup Gailly, Phil Harvey, Chris Herborth, Alex Jakulin, Neal Kettler, Tom Lane, Alexander Lehmann, Chris Lilley, Dave Martindale, Owen Mortensen, Stuart Parmenter, Keith S. Pickens, Robert P. Poole, Glenn Randers-Pehrson, Greg Roelofs, Willem van Schaik, Guy Schalnat, Paul Schmidt, Andrew Smith, Michael Stokes, Vladimir Vukićević, Tim Wegner, Jeremy Wohl.

Publisher: World Wide Web Consortium (W3C).

Online text: www.w3.org/TR/2025/REC-png-3-20250624/#10Compression

Cited passages: PNG Specification, Third Edition, sections 10.1 and 10.2: zlib wrapper and filtered image data; W3C, PNG Specification, Third Edition (2025), section 10, Compression; W3C, PNG Specification, Third Edition, section 10.1, compression method 0.

Additional locators in the 24 June 2025 Recommendation: §6.2, unassociated alpha; §12.3, conversion of associated samples including zero alpha; §13.16, alpha processing and gamma correction.

By L. Peter Deutsch.

Publisher: RFC Editor.

Online text: www.rfc-editor.org/rfc/rfc1951

Cited passages: RFC 1951, heading and sections 2 and 4: format and encoder choices; RFC 1951, section 3.2.3, printed p. 11: overlapping string references; RFC 1951, section 3.2.3: header, block types and decoding loop; RFC 1951, section 3.2.5, length and distance tables; RFC 1951, sections 2 and 3.2.3: independent block codes, references across blocks; RFC 1951, sections 3.2.2, 3.2.6 and 3.2.7: code reconstruction, fixed codes and dynamic code-length repeats; RFC 1951, sections 3.2.3 and 3.2.4: alignment, LEN, NLEN and stored data; RFC 1951, sections 3.2.3 and 3.2.5: available history, overlap, length and distance ranges; RFC 1951, sections 3.2.3, 3.2.4 and 3.2.6: header, stored layout and fixed literal lengths; RFC 1951, sections 3.2.5 and 3.2.6: length 9, distance 3 and fixed code lengths.

By Intel Corporation.

Publisher: Intel Corporation.

Online text: www.intel.com/content/dam/doc/white-paper/quick-path-interconnect-introduction-paper.pdf

By ARM Limited.

Publisher: ARM Limited.

Online text: documentation-service.arm.com/static/642569a2314e245d086bc87e

Cited passages: AMBA Specification, revision 2.0, section 1.4 and section 3.11.4: burst operation and early burst termination; AMBA Specification, revision 2.0, section 1.5, pp. 1-7–1-8: master, slave and address decoder; AMBA Specification, revision 2.0, section 3.11.3, pp. 3-30–3-31, figures 3-16–3-17: readiness and ownership handover; AMBA Specification, revision 2.0, sections 1.4–1.5: transfer, initiator and responding target.

Collection of sources; individual chapter authors and dates are recorded below.

Publisher: University of California, Berkeley.