An example definitional facility in MAD/I

http://deepblue.lib.umich.edu/bitstream/2027.42/7771/5/bad2314.0001.001.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/7771/4/bad2314.0001.001.tx

The MAD

http://deepblue.lib.umich.edu/bitstream/2027.42/3709/5/abu9341.0001.001.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/3709/4/abu9341.0001.001.tx