Grobauer, B. Cost Recurrences for DML Programs. BRICS 2001, 8.