Chapter 9. Programming SpecTcl