Formal Approaches. - Kunze, Christian (Oxford University Press, 2015)