Author: Mitsuru YasuharaRobert Lawson VaughtPublication date: January 1, 1964Publication type: PhD Thesis (Author field refers to student + advisor)