Finding an algorithm for the inverse of an explicitly given function is important for program and data type development. We informally present a method to derive an algorithm for the inverse from algorithms for given functions.
[Paper.ps.gz (35p, 68k, reformatted)]