Stav dette: Mathematical and engineering methods in computer science :