A rigorous approach to the decomposition of data structures.

H. H. ten Cate, Mark R. Roest, Edwin A. H. Vollebregt

Browse the full PDP paper archive.