Lectures, 1-2. - Saxl, F. (1957)