B. Grobauer, “Cost Recurrences for DML Programs”, BRICS, bd. 8, nr. 25, jun. 2001.