A reading of the source code for the model gives the student a precise description of the entity being modeled. Expository use of notation serves to remove the ambiguity and imprecision of natural language descriptions of a computing concept.
