Martin, Johannes J.2013-06-192013-06-191978http://hdl.handle.net/10919/20332This paper discusses algebraic data type specifications that employ product sets as carriers. This leads to simplifications for certain data types. In particular, the method permits the specification of a complex type by the straight forward translation of an intuitive model of the type into a formal definition, provided that the model is conceived in terms of other well defined types. The concept is illustrated by two examples.application/pdfenIn CopyrightTechnical reportCS78003-Rhttp://eprints.cs.vt.edu/archive/00000826/01/CS78003-R.pdf