Richard A. DeMillo Stanley C. Eisenstat Richard J. Lipton Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem. 123-127 1980 27 J. ACM 1 http://doi.acm.org/10.1145/322169.322180 db/journals/jacm/jacm27.html#DeMilloEL80