"Pattern Matching and Call by Pattern."

Giorgio Levi, Franco Sirovich (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics