Knowledge-Driven Computing - Cotta, Carlos (Springer Berlin Heidelberg, 2020)