Eric Butler, Emina Torlak, Zoran Popovic: A Framework for Parameterized Design of Rule Systems Applied to Algebra. ITS 2016: 320-326