Book

Algorithm derivation by transformations

by Micha Sharir