Twenty years of rewriting logic - Meseguer, José (The journal of logic and algebraic programming, 2012)