Samples

                      Enumeration                         Union

                      Transitive Closure                 Fixpoint

                      Selection with Image             Decoration (with own source graph)

                     Source graph :               This graph in Lisp-notation

source_graph.gif (4359 bytes)