Publications

@article{icps-1992-96,
	title = "PEI: a Language and its Refinement Calculus for Parallel Programming",
	author= "E. Violard and G.-R. Perrin",
 	journal = "Parallel Computing",
	volume = "18",
	pages= "1167-1184",
	publisher = "Elsevier",
	month = "",
	year  = "1992",
}