HW 3 - Specification
HW 3 consists of four exercises in LaTeX specification of Z. Download the materials from the Moodle page and do the exercises specified in search-trees.pdf. Submit your modified version of search-trees.pdf and search-trees.tex.