A Tactic Language for Ergo - Martin, A; Nickson, R; Utting, M (Formal Methods Pacific '97, 1997)