Calculational derivation of pointer algorithms from tree operations (1999)

by M Butler
Venue:Science of Computer Programming