Tape automata. (Though there are a lot of variants.)
> Liskov Substitution Principle
Behavioral subtyping. Even Liskov calls it this, but "SOBID" doesn't have the same ring to it. (BOIDS?)
> ISO 8601
Lexicographic dates. (ISO 8601 also specifies ordinal dates, with day of year (i.e. YYYY-DDD), but the "big endian" ordering principle is still accurate.)
Although "ISO 8601" tells you what specification describes it, which is a lot better than widgets named after people.
On-off switches. Or conditionals. Or bits (depending on implementations). Or truthy/falsey values.
> Turing Machines
Symbolic tape machines.
> Bolzmann machines
Hidden-unit binary threshold networks.
> Markov Chains
Cumulative event probability chains.
> Liskov Substitution Principle
Instance Substitution Principle.
> ISO 8601 dates
Big-endian dates (or simply YYYY-MM-DD dates).
> the MIT and BSD licenses
n-clause copycenter licenses.