CAYLEY: A language for group theory (1982)

by J Cannon