Monotonic use of space and computational complexity over abstract structures (1989)

by D Leivant