B. Grobauer, “Cost Recurrences for DML Programs”, BRICS, vol. 8, no. 25, Jun. 2001.