Christian Severin Sauer: Knowledge elicitation and formalisation for context and explanation-aware computing with case-based recommender systems. University of West London, UK 2016