The Plan
Notes from
lecture
...
A Specific Example
The problem
specification
.
Translated
one way
and
another
.