A Pedagogical Verification Condition Generator. - D. Gray (Comput. J., 1987)

A variant of Nim. - D. Gray; Stephen C. Locke (Discret. Math., 2018)