1
by Ferrante, J., Rackoff, C. W.
Published 1979
Springer Berlin Heidelberg