By Vijay K. Garg. Author Vijay K. Garg. Model of a Computation. Computation of a Global Functon. Repeated Global Computation of a Global Function. Table of Contents. Format Hardcover. Simple technique based on induction used to prove correctness of all algorithms presented in the book.