Algebraic specification
2
signature
-- producers and observers
generator universe
-- equivalence classes
initial model
-- no junk, no confusion
objects
-- multiple world semantics
slide
:
Section 8.2: Algebraic specification
