Publications

@inproceedings{icps-1997-3,
	title = "Refinement of data-parallel programs in PEI",
	author= "E. Violard and S. Genaud and G.-R. Perrin",
 	booktitle = "IFIP Working Conference on Algorithmic Language and Calculi",
 	publisher = "Chapman & Hall Ed.",
	editor = "R. Bird and L. Meertens",
	month = "February",
	year  = "1997",
	note = "25 pages",
}