A General Transposition Method for a Matrix on Auxiliary Store. - Nils Andersen (BIT, 1990)

Generalizing Cook's Transformation to Imperative Stack Programs. - Nils Andersen; Neil D. Jones (Results and Trends in Theoretical Computer Science, 1994)

Linear Time Simulation of Invertible Non-Deterministic Stack Algorithms. - Nils Andersen (J. Univers. Comput. Sci., 1997)

Flow analysis of lazy higher-order functional programs. - Neil D. Jones; Nils Andersen (Theor. Comput. Sci., 2007)