Describir: The design of dynamic data structures /