Outward bound arithmetic 
Scriven, Ernest.
Pergamon,
1968