Specifying with syntactic theory functors - Markus Roggenbach (Journal of Logical and Algebraic Methods in Programming, 2020)