Author: Richard Baxter HullEdwin SpanierPublication date: December 1, 1979Publication type: PhD Thesis (Author field refers to student + advisor)