A Monadic Interpretation of Tactics (2002)

by Andrew Martin, Jeremy Gibbons