Notation and terminology
1980 ◽
pp. 3-18