This appendix contains a short tutorial on the use of the notation techniques that are supported by TCM. Detailed information is given in R.J. Wieringa, Requirements Engineering: A Framework for Understanding, Wiley, 1996.