Analytic Pattern Matching by Philippe Jacquet