This paper addresses a class of generic program calculations which aim at introducing concurrency into programs by changing data-structure representations. The approach will be restricted to the fairly common situation in which the calculated program (implementation) runs at a level of abstraction lower than that of the starting program (specification). This conforms to the following quotation ...