@inproceedings{PDP-1997-CateRV,
	author        = "H. H. ten Cate and Mark R. Roest and Edwin A. H. Vollebregt",
	booktitle     = "{Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing}",
	isbn          = "[]",
	pages         = "281--288",
	publisher     = "{IEEE Computer Society}",
	title         = "{A rigorous approach to the decomposition of data structures}",
	year          = 1997,
}