SMS dit: Data structures with abstract data