Book

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland