time deques, multihead Turing machines, and purely functional programming (1993)

by Real--
Venue:University of Copenhagen