@book{9794,
	author = {BOCEWICZ, Grzegorz. and BANASZAK, Zbigniew.},
	title = {Towards automated synthesis of concurrent control programs /}
}