Assignment Calculus: A Pure Imperative Language [pdf]

> there is no accepted canonical theoretical computation language that is fundamentally imperative in character.

Brainfuck comes pretty close though, as a programming language modeled directly after Turing Machine behaviour.