The Software Engineering Research Group (SERG) of McMaster University is working on a project called Table Tool Project (TTP). One part of this project is to produce a software tool system, namely Table Tool System (TTS). The module called Table Holder (TH) is the basic module of the TTS. A black box description of the TH was available (see appendix A). One of the most urgent tasks which remained open to the TTP was obtaining a rigorous clear box description of the code implementing the TH and to use it to verify that this code conformed to the black box specification of the TH. This report provides the needed documentation. The organizational and notational issues are discussed in this report.