Abstract inference - Greder U (New York New York, John Wiley, 1981)