An operational foundation for the tactic language of Coq. - Wojciech Jedynak; Malgorzata Biernacka; Dariusz Biernacki (PPDP, 2013)