Specification of systems with parameterised events: An institution-independent approach - Hennicker, Rolf; Knapp, Alexander (Journal of logical and algebraic methods in programming, 2022)