A generic imperative language for polynomial time - Leivant, Daniel (arXiv.org)