Combining Source, Content, Presentation, Narration, and Relational Representation. - Feryal Fulya Horozal; Alin Iacob; Constantin Jucovschi; Michael Kohlhase; Florian Rabe 001 (Calculemus/MKM, 2011)