Data structures: An axiomatic approach (1973)

by T A STANDISH