An Index and useful information, 1-36 - Brauer, W. (Lecture notes in computer science, 1981)