"SWIFT: A New Symbolic Processor."

D. A. Chu, F. G. McCabe (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics