@article {1441,
	title = {CiE: Programs, Proofs, Processes (Special Issue)},
	journal = {Theory of Computing Systems},
	volume = {51},
	year = {2012},
	author = {Ferreira F and L\"owe B and Mayordomo E}
}

