"A Mechanically Derived Systolic Implementation of Pyramid Initialization."

Christian Lengauer, Bikash Sabata, Farshid Arman (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics