@proceedings {JNRS10a,
	title = {Short Contributions CMCS 2010},
	year = {2010},
	pages = {1{\textendash}32},
	publisher = {Centrum Wiskunde \& Informatica},
	address = {Paphos, Cyprus },
	author = {Bart Jacobs and Milad Niqui and Jan Rutten and Alexandra Silva}
}