AVL-Dags: An applicative list model (1982)

by E Myers