Backhouse R, Chen W, Ferreira JF.? 2010.??The Algorithmics of Solitaire-Like Games. Mathematics of Program Construction (LNCS 6120).