On the computational complexity of imperative programming languages (2004)

by L Kristiansen, K-H Niggl
Venue:Theoretical Computer Science