A Second-Order-Matching-Procedure for the practical use in a program transformation system. - Gerlach, Michael (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1983)