@conference {77432,
	title = {Boosting the Software Quality of Parallel Programming Using Logical Means},
	year = {2015},
	author = {Mohamed A. El-Zawawy}
}
