Some work on ADTs