Translational methods and computational complexity - S. S. Ruby; Patrick C. Fischer (SWCT, 1965)