Definition of Externally Described Data Structure