"The PSI Program Model Builder - synthesis of very high-level programs."

Brian P. McCune (1977)
a service of Schloss Dagstuhl - Leibniz Center for Informatics