Nils Andersen Linear Time Simulation of Invertible Non-Deterministic Stack Algorithms. 148-171 1997 3 J. UCS 3 db/journals/jucs/jucs3.html#Andersen97 http://www.jucs.org/jucs_3_3/linear_time_simulation