computational communicative algebra-1 - Kreuzer, Martin (springer, 2000)