Title: An algebraic definition of Knuthian semantics
Subjects: Formal languages, Semantics