A Demonstration of the FUN system
INFO VIEW (postscript)
TRANSFORMS (postscript)
DISPLAY BINDINGS (postscript)
A Derivation for the Maximal Segment Sum Problem (postscript)