A Monadic Interpretation of Tactics - Martin, A; Gibbons, J (2015)