Subsections:
Signatures -- generators and observers
Equations -- specifying constraints
Initial algebra semantics
Objects as algebras