Fixed-Point Characterisation of Winning Strategies in Impartial Games. - Roland Carl Backhouse; Diethard Michaelis (RelMiCS, 2003)

Exercises in Quantifier Manipulation. - Roland Carl Backhouse; Diethard Michaelis (MPC, 2006)