Dominique Devriese: Functional Techniques for Representing and Specifying Software (Functionele technieken voor het voorstellen en specifiëren van software). Katholieke Universiteit Leuven, Belgium 2014