The works of John Hales - Hales, John 1584-1656 (AMS Pr., 1971)