Endian theory
Adject Clarity: Five Integral C-Words of Maximally Useful Product Specification for Teams
Paul M Fox and Adrian Duke. Roughly 5600 words, or about a 27 minute read
Identification and analysis of five integral qualities for maximally useful product specifications.
Theory we like
Simon Wardley
The book that describes the incredibly powerful Wardley Maps model.
Dave Snowden
A brief explanation of the decision-making framework.
Glenn Vanderburg
Is software engineering worthy of the name?
Konstantin Kudryashov
Everything you need to know about Behaviour Driven Development.
Formal Specification: A Roadmap
Axel van Lamsweerde
An excellent overview of formal proofs in computer science.