Bibliography on mechanization.