Implicit time-dependent finite different algorithm for quench simulation. - Koizumi, Norikiyo (JAERI, 1994)