Martin Fränzle, Christian Lengauer: Semantic Independence. Encyclopedia of Parallel Computing 2011: 1803-1810