Theory and worked examples

(to be updated)