Generated: 2026-05-23
Scope: All references cited across papers in SuperInstance/fm-research
Format: Author (Year). Title. Journal/Publisher. DOI where available
Rating: ★ = most important / foundational; unmarked = supplementary
★ Conway, J.H. & Sloane, N.J.A. (1988). Sphere Packings, Lattices and Groups. Springer-Verlag. DOI: 10.1007/978-1-4757-2016-7
— The foundational text for lattice geometry, Voronoï cells, and the Eisenstein lattice. Referenced across ~50 papers.
★ Laman, G. (1970). On graphs and rigidity of plane skeletal structures. Journal of Engineering Mathematics, 4(4), 331–340. DOI: 10.1007/BF01534980
— Laman rigidity theorem; the structural rigidity criterion used throughout the constraint framework.
★ Eisenstein, G. (1844). Allgemeine Untersuchungen über die Formen dritten Grades. Journal für die reine und angewandte Mathematik, 28, 289–324.
— The Eisenstein integer lattice ℤ[ω]; the hexagonal lattice underlying the snap framework.
Conway, J.H. & Sloane, N.J.A. (1982). Voronoi regions of lattices. In Sphere Packings, Lattices and Groups, Ch. 2. Springer.
Sloane, N.J.A. (1984). The packing of spheres. Scientific American, 250(1), 116–125.
Fejes Tóth, L. (1964). Regular Figures. Pergamon Press.
Coxeter, H.S.M. (1973). Regular Polytopes (3rd ed.). Dover Publications.
—— (1969). Introduction to Geometry (2nd ed.). Wiley.
Serre, J.-P. (1973). A Course in Arithmetic. Springer-Verlag.
Cassels, J.W.S. (1971). An Introduction to the Geometry of Numbers. Springer.
—— (1959). An Introduction to Diophantine Approximation. Cambridge University Press.
★ Mac Lane, S. (1998). Categories for the Working Mathematician (2nd ed.). Springer. DOI: 10.1007/978-1-4757-4723-8
— Standard reference for category theory, monads, comonads, adjunctions.
★ Robinson, M. (2014). Topological Signal Processing. Springer. DOI: 10.1007/978-3-642-36104-4
— Sheaf-theoretic approaches to signal processing; direct precedent for sheaf-cohomology fault detection.
★ Ghrist, R. (2014). Elementary Applied Topology. CreateSpace.
— Applied topology including persistent homology and sheaf theory.
Bredon, G.E. (1997). Sheaf Theory (2nd ed.). Springer. DOI: 10.1007/978-1-4612-0647-7
Godement, R. (1958). Topologie Algébrique et Théorie des Faisceaux. Hermann.
Tennison, B.R. (1975). Sheaf Theory. Cambridge University Press.
Awodey, S. (2010). Category Theory (2nd ed.). Oxford University Press.
Lawvere, F.W. & Schanuel, S.H. (2009). Conceptual Mathematics: A First Introduction to Categories (2nd ed.). Cambridge University Press.
Riehl, E. (2016). Category Theory in Context. Dover.
★ Takeuti, G. (1987). Proof Theory (2nd ed.). North-Holland.
— Proof-theoretic ordinals, including Γ₀ and the Feferman–Schütte ordinal.
★ Feferman, S. & Schütte, K. (see Schütte, 1977).
— Feferman–Schütte ordinal Γ₀; the limit of predicative mathematics.
Schütte, K. (1977). Proof Theory. Springer-Verlag.
Girard, J.-Y. (1987). Proof Theory and Logical Complexity, Vol. I. Bibliopolis.
Pohlers, W. (1989). Proof Theory: An Introduction. Springer.
Rathjen, M. (2006). The art of ordinal analysis. Proceedings of the International Congress of Mathematicians, II, 45–69.
Goodstein, R.L. (1944). On the restricted ordinal theorem. Journal of Symbolic Logic, 9(2), 33–41.
Kirby, L. & Paris, J. (1982). Accessible independence results for Peano arithmetic. Bulletin of the London Mathematical Society, 14(4), 285–293.
★ Lamport, L. (1998). The part-time parliament. ACM Transactions on Computer Systems, 16(2), 133–169. DOI: 10.1145/279227.279229
— Paxos consensus protocol.
★ Ongaro, D. & Ousterhout, J. (2014). In search of an understandable consensus algorithm. USENIX ATC 2014.
— Raft consensus protocol.
★ Pease, M., Shostak, R. & Lamport, L. (1980). Reaching agreement in the presence of faults. Journal of the ACM, 27(2), 228–234. DOI: 10.1145/322186.322188
— Byzantine fault tolerance.
Lamport, L., Shostak, R. & Pease, M. (1982). The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3), 382–401.
Castro, M. & Liskov, B. (1999). Practical Byzantine fault tolerance. OSDI 1999, 173–186.
DeCandia, G. et al. (2007). Dynamo: Amazon's highly available key-value store. SOSP 2007, 205–220.
Corbett, J.C. et al. (2013). Spanner: Google's globally distributed database. ACM Transactions on Computer Systems, 31(3), 1–22.
Shapiro, M., Preguiça, N., Baquero, C. & Zawirski, M. (2011). Conflict-free replicated data types. SSS 2011, 386–400.
Demers, A. et al. (1987). Epidemic algorithms for replicated database maintenance. PODC 1987, 1–12.
★ Cohn, R. (2012). Audacious Euphony: Chromatic Harmony and the Triad's Second Nature. Oxford University Press.
— Neo-Riemannian theory, Tonnetz geometry, voice-leading distances.
★ Tymoczko, D. (2011). A Geometry of Music: Harmony and Counterpoint in the Extended Common Practice. Oxford University Press.
— Geometric models of voice-leading; direct precedent for Tonnetz-snap convergence.
★ Lewin, D. (1987). Generalized Musical Intervals and Transformations. Yale University Press.
— Generalized Interval Systems; the mathematical foundation for transformational music theory.
★ Huron, D. (2006). Sweet Anticipation: Music and the Psychology of Expectation. MIT Press.
— Expectation and prediction in music perception; direct link to deadband/predictive coding.
★ Roads, C. (2001). Microsound. MIT Press.
— Granular synthesis, micro-temporal structure, spline-like sound morphology.
Lerdahl, F. & Jackendoff, R. (1983). A Generative Theory of Tonal Music. MIT Press.
Narmour, E. (1990). The Analysis and Cognition of Basic Melodic Structures. University of Chicago Press.
Meyer, L.B. (1956). Emotion and Meaning in Music. University of Chicago Press.
Sawyer, R.K. (2006). Group creativity: Musical performance and collaboration. Psychology of Music, 34(2), 148–165.
Gann, K. (1997). American Music in the Twentieth Century. Schirmer Books.
Cope, D. (1996). Experiments in Musical Intelligence. A-R Editions.
Xenakis, I. (1971). Formalized Music: Thought and Mathematics in Composition. Indiana University Press.
Partch, H. (1974). Genesis of a Music (2nd ed.). Da Capo Press.
Tenney, J. (1986). META + HODOS: A phenomenology of 20th-century musical materials and an approach to the study of form. GIS Publications.
★ Csikszentmihalyi, M. (1990). Flow: The Psychology of Optimal Experience. Harper & Row.
— The foundational text on flow state; directly cited in FLOW-STATE-HYPOTHESES.
★ Nakamura, J. & Csikszentmihalyi, M. (2002). The concept of flow. In C.R. Snyder & S.J. Lopez (Eds.), Handbook of Positive Psychology, 89–105. Oxford University Press.
Csikszentmihalyi, M. (1997). Finding Flow: The Psychology of Engagement with Everyday Life. Basic Books.
Csikszentmihalyi, M. & LeFevre, J. (1989). Optimal experience in work and leisure. Journal of Personality and Social Psychology, 56(5), 815–822.
Jackson, S.A. & Marsh, H.W. (1996). Development and validation of a scale to measure optimal experience: The Flow State Scale. Journal of Sport and Exercise Psychology, 18(1), 17–35.
★ Chalmers, D.J. (1995). Facing up to the problem of consciousness. Journal of Consciousness Studies, 2(3), 200–219.
— The hard problem of consciousness; cited in CSTC paper.
★ Baars, B.J. (1988). A Cognitive Theory of Consciousness. Cambridge University Press.
— Global Workspace Theory; foundation for CSTC.
★ Dehaene, S. & Naccache, L. (2001). Towards a cognitive neuroscience of consciousness: Basic evidence and a workspace framework. Cognition, 79(1–2), 1–37. DOI: 10.1016/S0010-0277(00)00123-2
★ Friston, K. (2010). The free-energy principle: A unified brain theory? Nature Reviews Neuroscience, 11(2), 127–138. DOI: 10.1038/nrn2787
— Free Energy Principle; active inference; directly connected to constraint satisfaction.
Friston, K. (2005). A theory of cortical responses. Philosophical Transactions of the Royal Society B, 360(1456), 815–836.
Clark, A. (2013). Whatever next? Predictive brains, situated agents, and the future of cognitive science. Behavioral and Brain Sciences, 36(3), 181–204.
Seth, A.K. (2014). A predictive processing theory of sensorimotor contingencies. Frontiers in Computational Neuroscience, 8, 103.
★ Berry, M.V. (1984). Quantal phase factors accompanying adiabatic changes. Proceedings of the Royal Society A, 392(1802), 45–57. DOI: 10.1098/rspa.1984.0023
— Berry phase; the geometric phase that inspired holonomy-as-drift-detector.
★ Simon, B. (1983). Holonomy, the quantum adiabatic theorem, and Berry's phase. Physical Review Letters, 51(24), 2167–2170. DOI: 10.1103/PhysRevLett.51.2167
Hannay, J.H. (1985). Angle variable holonomy in adiabatic excursion of an integrable Hamiltonian. Journal of Physics A, 18(2), 221–230.
Shapere, A. & Wilczek, F. (Eds.) (1989). Geometric Phases in Physics. World Scientific.
★ Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38(1), 173–198.
— Incompleteness theorems; structural basis for Creativity Impossibility Theorem.
★ Turing, A.M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2(42), 230–265.
Penrose, R. (1989). The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford University Press.
—— (1994). Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford University Press.
Chaitin, G.J. (1975). A theory of program size formally identical to information theory. Journal of the ACM, 22(3), 329–340.
Kolmogorov, A.N. (1965). Three approaches to the quantitative definition of information. Problems of Information Transmission, 1(1), 1–7.
★ Berlekamp, E.R. (1968). Algebraic Coding Theory. McGraw-Hill.
— Berlekamp-Massey algorithm; directly connected to BMA-Deadband Threshold paper.
Massey, J.L. (1969). Shift-register synthesis and BCH decoding. IEEE Transactions on Information Theory, 15(1), 122–127. DOI: 10.1109/TIT.1969.1054260
MacWilliams, F.J. & Sloane, N.J.A. (1977). The Theory of Error-Correcting Codes. North-Holland.
Patterson, D.A., Gibson, G. & Katz, R.H. (1988). A case for redundant arrays of inexpensive disks (RAID). SIGMOD 1988, 109–116.
★ Allen, S.M. & Cahn, J.W. (1979). A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening. Acta Metallurgica, 27(6), 1085–1095. DOI: 10.1016/0001-6160(79)90196-2
— Allen-Cahn equation; the dynamical system governing constraint field evolution.
Cahn, J.W. & Hilliard, J.E. (1958). Free energy of a nonuniform system. I. Interfacial free energy. Journal of Chemical Physics, 28(2), 258–267.
Potts, R.B. (1952). Some generalized order-disorder transformations. Mathematical Proceedings of the Cambridge Philosophical Society, 48(1), 106–109.
Wilson, K.G. (1975). The renormalization group: Critical phenomena and the Kondo problem. Reviews of Modern Physics, 47(4), 773–840.
★ Haegeman, J. et al. (2011). Variational matrix product ansatz for nonperturbative quantum field theory. Physical Review Letters, 107(7), 070601. DOI: 10.1103/PhysRevLett.107.070601
— MERA tensor networks; connected to precision-class analysis.
Evenbly, G. & Vidal, G. (2011). Tensor network states and geometry. Journal of Statistical Physics, 145(4), 891–918.
Ryu, S. & Takayanagi, T. (2006). Holographic derivation of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence. Physical Review Letters, 96(18), 181602. DOI: 10.1103/PhysRevLett.96.181602
Swingle, B. (2012). Entanglement renormalization and holography. Physical Review D, 86(6), 065007.
★ McKay, J. (1980). Graphs, singularities, and finite groups. In The Santa Cruz Conference on Finite Groups, Proc. Symp. Pure Math., 37, 183–186. AMS.
— ADE classification via representation theory; connected to Platonic snap topology.
Carter, R.W. (1972). Simple Groups of Lie Type. Wiley.
Humphreys, J.E. (1972). Introduction to Lie Algebras and Representation Theory. Springer.
Slodowy, P. (1980). Simple Singularities and Simple Algebraic Groups. Springer.
★ MIDI Manufacturers Association (1983). MIDI 1.0 Specification. MMA.
— The original MIDI standard; historical anchor for MIDI-ARCHAEOLOGY-RESEARCH.
★ MIDI Manufacturers Association (2020). MIDI 2.0 Specification. MMA.
★ Mathews, M.V. (1969). The Technology of Computer Music. MIT Press.
— Foundational computer music text; MUSIC series programs.
Risset, J.-C. (1969). Catalog of Computer Synthesized Sounds. Bell Labs.
Chowning, J. (1973). The synthesis of complex audio spectra by means of frequency modulation. Journal of the Audio Engineering Society, 21(7), 526–534.
Roads, C. (1996). The Computer Music Tutorial. MIT Press.
Wessel, D. & Wright, M. (2002). Problems and prospects for intimate musical control of computers. Computer Music Journal, 26(3), 11–22.
Wright, M. et al. (2003). Open Sound Control: State of the art. Proceedings of the 2003 Conference on New Interfaces for Musical Expression.
★ Belyaev, D.K. (1979). Destabilizing selection as a factor in domestication. Journal of Heredity, 70(5), 301–308.
— Fox domestication experiment; cited in hermit-embryo duality and PLATO room design.
Waddington, C.H. (1957). The Strategy of the Genes. Allen & Unwin.
—— (1942). Canalization of development and the inheritance of acquired characters. Nature, 150(3811), 563–565.
Gould, S.J. (1977). Ontogeny and Phylogeny. Harvard University Press.
Kauffman, S.A. (1993). The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press.
★ Drake, C. (2016). Access to music as a human right. Music and Medicine, 8(1), 12–19.
Atkinson, T. et al. (2020). Accessible digital musical instruments: A review. Frontiers in Computer Science, 2, 35.
Frid, E. (2019). Accessible digital musical instruments—A review of musical interfaces in terms of scalability and life-cycle. International Journal of Human-Computer Studies, 131, 24–34.
★ Varela, F.J., Thompson, E. & Rosch, E. (1991). The Embodied Mind: Cognitive Science and Human Experience. MIT Press.
— Enactive cognition; direct influence on Paper 3.
★ O'Regan, J.K. & Noë, A. (2001). A sensorimotor account of vision and visual consciousness. Behavioral and Brain Sciences, 24(5), 939–973.
Thompson, E. (2007). Mind in Life: Biology, Phenomenology, and the Sciences of Mind. Harvard University Press.
Di Paolo, E.A. (2005). Autopoiesis, adaptivity, teleology, agency. Phenomenology and the Cognitive Sciences, 4(4), 429–452.
Smith, J.O. (2010). Physical Audio Signal Processing. W3K Publishing.
—— (2007). Introduction to Digital Filters with Audio Applications. W3K Publishing.
Roads, C. (1996). The Computer Music Tutorial. MIT Press.
Wishart, T. (1994). Audible Design: A Plain and Easy Introduction to Practical Sound Composition. Orpheus the Pantomime.
Boulanger, R. (Ed.) (2000). The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming. MIT Press.
★ Nash, J.F. (1950). Equilibrium points in N-person games. Proceedings of the National Academy of Sciences, 36(1), 48–49.
Jackson, S. (2014). No-Limit Hold'em Theory and Practice (2nd ed.). Two Plus Two Publishing.
Lakemider, C., Caffarelli, F.V. & Lu, C. (2008). Collaborative Decision-Making in Poker. Stanford CS Research.
Schopenhauer, A. (1818). Die Welt als Wille und Vorstellung.
— Philosophical background for will/constraint connection.
Heraclitus (c. 500 BCE). Fragments.
— "Nature loves to hide"; precursor to negative space.
Lao Tzu (c. 6th century BCE). Tao Te Ching.
— "Two begets Three; Three begets all things"; triadic structure.
Theaetetus (c. 380 BCE). As reported in Euclid's Elements, Book XIII.
— Proof that exactly 5 Platonic solids exist.
Euclid (c. 300 BCE). Elements, Book XIII.
— Classification of regular polyhedra.
Sorkin, R.D. (2007). Causal sets: Discrete gravity. In Approaches to Quantum Gravity, 24–46. Cambridge University Press.
— Causal set theory; connected to timing/causal structure in constraint systems.
Gann, K. (2006). Music 109: Notes on Experimental Music.
— Modern music analysis.
Stockhausen, K. (1957). "...how time passes..." Die Reihe, 3, 10–40.
Eno, B. (1975). Discreet Music. Obscure Records.
Ligeti, G. (1962). Atmosphères. Universal Edition.
—— (1966). Lux Aeterna. Universal Edition.
Leroy, X. (2009). Formal verification of a realistic compiler. Communications of the ACM, 52(7), 107–115. DOI: 10.1145/1538788.1538814
— CompCert verified compiler.
Klein, G. et al. (2009). seL4: Formal verification of an OS kernel. SOSP 2009, 207–220.
DO-178C (2012). Software Considerations in Airborne Systems and Equipment Certification. RTCA.
DO-254 (2000). Design Assurance Guidance for Airborne Electronic Hardware. RTCA.
DO-330 (2012). Software Tool Qualification Considerations. RTCA.
Nielsen, M.A. & Chuang, I.L. (2000). Quantum Computation and Quantum Information. Cambridge University Press.
Kitaev, A.Y. (2003). Fault-tolerant quantum computation by anyons. Annals of Physics, 303(1), 2–30.
- Conway & Sloane (1988) — ~50 papers
- Csikszentmihalyi (1990) — ~12 papers
- Cohn (2012) — ~12 papers
- Tymoczko (2011) — ~6 papers
- Berry (1984) — ~6 papers
- Roads (2001/1996) — ~13 papers
- Gödel (1931) — ~11 papers
- Turing (1936) — ~8 papers
- Penrose (1989/1994) — ~9 papers
- Laman (1970) — ~7 papers
- Friston (2010) — ~5 papers
- Chalmers (1995) — ~6 papers
- Baars (1988) — ~5 papers
- Mac Lane (1998) — ~5 papers
- Lewin (1987) — ~2 papers (but foundational)
- Huron (2006) — cited in flow/perception contexts
- MIDI 1.0/2.0 Specs — foundational for music technology papers
This bibliography captures references identified across the 100+ substantive research documents in the fm-research repository. Many papers also cite internal fleet documents, GitHub repositories, and technical reports from the SuperInstance/Cocapn ecosystem.