Knowledge-Driven Computing - Cotta, Carlos; Reich, Simeon; Schaefer, Robert; Ligeza, Antoni (Springer Berlin Heidelberg, 2008)