A three-level approach to the description of data structures, and notational framework