Author: Stephen Douglas DyckRobert Lawson VaughtPublication date: June 1, 1983Publication type: PhD Thesis (Author field refers to student + advisor)