P. RadoBooksComputer-Aided Specification TechniquesCombinatorial Set TheoryAn Introduction to the Technology of PotteryAuthor data: Open Library