Each programming language that handles data structures has its own set of rules for working with them. Notions such as assignment and construction of structures values appear in a huge number of different and complicated versions. This thesis presents a methodology which provides a common basis for describing ways in which programming languages deal with data structures and reference to them.
