"HAL: a multi-paradigm approach to automatic data path synthesis."

Pierre G. Paulin, John P. Knight, Emil F. Girczyc (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics