Mathematical advances and horizons for classical and quantum-perturbed drift-diffusion systems: solid state devices and beyond
Abstract
The classical drift-diffusion model employed in semi-conductor simulation is now seen as part of a hierarchy of mathematical models designed to capture the intricate patterns of current flow in solid-state devices. These models include those incorporating quantum mechanical effects. Scientific computation has vastly outpaced our mathematical understanding of these models. This article is restricted in its focus, and describes mathematical understanding achieved during the last few decades primarily in terms of Gummel decomposition, as applied to drift-diffusion models and the closely related family of quantum corrected drift-diffusion models. Drift-diffusion models are being employed once again in organic devices, and in bio-chip devices, and a re-examination is now seen as timely, as such studies proceed beyond solid state devices.
Keywords
Gummel decomposition Drift-diffusion Quantum-perturbed drift-diffusion Solar cells Bio-chipsPreview
Unable to display preview. Download preview PDF.
References
- 1.Abdallah, N.B., Unterreiter, A.: On the stationary quantum drift-diffusion model. Z. Angew. Math. Phys. 49, 251–275 (1998) MathSciNetCrossRefMATHGoogle Scholar
- 2.Ancona, M.G., Iafrate, G.J.: Quantum correction to the equation of state of an electron gas in a semiconductor. Phys. Rev. B 39, 9536–9540 (1989) CrossRefGoogle Scholar
- 3.Ancona, M.G., Tiersten, H.F.: Macroscopic physics of the silicon inversion layer. Phys. Rev. B 35, 7959–7965 (1987) CrossRefGoogle Scholar
- 4.Ancona, M.G., Yu, Z., Dutton, R.W., Vorde, P.J.V., Cao, M., Vook, D.: Density-gradient analysis of MOS tunnelling. IEEE Trans. Electron. Dev. 47(12), 2310–2319 (2000) CrossRefGoogle Scholar
- 5.Avalos, G., Triggiani, R.: Mathematical analysis of PDE systems which govern fluid-structure interactive phenomena. Bol. Soc. Parana. Mat. (3) 25(1–2), 17–36 (2007) MathSciNetMATHGoogle Scholar
- 6.Babuška, I., Aziz, A.K.: Survey lectures on the mathematical foundations of the finite element method. In: Aziz, A.K. (ed.) The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations, pp. 5–359. Academic Press, New York (1972) Google Scholar
- 7.Bank, R.E. (ed.): Computational Aspects of VLSI Design with an Emphasis on Semiconductor Device Simulation. Lectures in Applied Mathematics, vol. 25. Am. Math. Soc., Providence (1990) MATHGoogle Scholar
- 8.Bank, R.E., Jerome, J.W., Rose, D.J.: Analytical and numerical aspects of semiconductor device modeling. In: Glowinski, R., Lions, J. (eds.) Proc. Fifth International Conference on Computing Methods in Applied Science and Engineering, pp. 593–597. North-Holland, Amsterdam (1982) Google Scholar
- 9.Bank, R.E., Rose, D.J., Fichtner, W.: Numerical methods for semiconductor device simulation. IEEE Trans. Electron Dev. 30, 1031–1041 (1983) CrossRefGoogle Scholar
- 10.Bank, R.E., Bulirsch, R., Merten, K. (eds.): Mathematical Modeling and Simulation of Electrical Circuits and Semiconductor Devices. Birkhäuser, Basel (1990) Google Scholar
- 11.Bank, R.E., Coughran, W.M., Cowsar, L.C.: Analysis of the finite volume Scharfetter-Gummel method for steady convection diffusion equations. Comput. Vis. Sci. 1(3), 123–136 (1998) CrossRefMATHGoogle Scholar
- 12.Blom, P., deJong, M., Breedijk, S.: n-hole recombination in polymer light-emitting diodes. Appl. Phys. Lett. 71(7), 930–932 (1997) CrossRefGoogle Scholar
- 13.Blotekjaer, K.: Transport equations for electrons in two-valley semiconductors. IEEE Trans. Electron. Dev. 17, 38–47 (1970) CrossRefGoogle Scholar
- 14.Brenner, S.C., Scott, L.R.: The Mathematical Theory of Finite Element Methods. Springer, New York (1994) MATHGoogle Scholar
- 15.Brezzi, F.: On the existence, uniqueness, and approximation of saddle point problems arising from Lagrangian multipliers. R.A.I.R.O., Anal. Numér. 12, 129–151 (1974) MathSciNetGoogle Scholar
- 16.Brezzi, F., Marini, L.D., Micheletti, S., Pietra, P., Sacco, R.: Stability and error analysis of mixed finite volume methods for advective-diffusive problems. Comput. Math. Appl. 51, 681–696 (2006) MathSciNetCrossRefMATHGoogle Scholar
- 17.Buxton, G.A., Clarke, N.: Computer simulation of polymer solar cells. Model. Simul. Mater. Sci. Eng. 15, 13–26 (2007) CrossRefGoogle Scholar
- 18.Causin, P., Sacco, R.: A dual-mixed hybrid formulation for fluid mechanics problems: mathematical analysis and application to semiconductor process technology. Comput. Methods Appl. Mech. Eng. 192, 593–612 (2003) MathSciNetCrossRefMATHGoogle Scholar
- 19.Cercignani, C.: The Boltzmann Equation and its Application. Springer, New York (1987) Google Scholar
- 20.Cercignani, C., Illner, R., Pulvirenti, M.: The Mathematical Theory of Dilute Gases. Springer, New York (1994) MATHGoogle Scholar
- 21.Chen, D., Kan, E., Ravaioli, U., Shu, C., Dutton, R.: An improved energy transport model including non-parabolic and non-Maxwellian distribution effects. IEEE Electron Dev. Lett. 13, 26–28 (1992) CrossRefGoogle Scholar
- 22.Chen, Z., Cockburn, B., Gardner, C., Jerome, J.: Quantum hydrodynamic simulation of hysteresis in the resonant tunneling diode. J. Comput. Phys. 117, 274–280 (1995) CrossRefMATHGoogle Scholar
- 23.Chen, Z., Cockburn, B., Jerome, J., Shu, C.-W.: Mixed-RKDG finite element methods for the 2-D hydrodynamic model for semiconductor device simulation. VLSI Des. 3, 145–158 (1995) CrossRefGoogle Scholar
- 24.Chen, G.-Q., Jerome, J.W., Shu, C.-W., Wang, D.: Two-carrier semiconductor device models with geometric structure and symmetry properties. In: Modelling and Computation for Applications in Mathematics, Science, and Engineering, pp. 103–140. Oxford University Press, London (1998) Google Scholar
- 25.Choi, H.-W., Paraschivoiu, M.: Advanced hybrid-flux approach for output bounds of electro-osmotic flows: adaptive refinement and direct equilibrating strategies. Microfluid. Nanofluid. 2, 154–170 (2006) CrossRefGoogle Scholar
- 26.Chung, C.A., Chen, C.W., Chen, C.P., Tseung, C.S.: Enhancement of cell growth in tissue engineering constructs under direct perfusion: modeling and simulation. Biotechnol. Bioeng. 97, 1603–1616 (2007) CrossRefGoogle Scholar
- 27.Ciarlet, P.G., Raviart, P.-A.: Maximum principle and uniform convergence for the finite element method. Computer Methods Appl. Mech. Eng. 2, 17–31 (1973) MathSciNetCrossRefMATHGoogle Scholar
- 28.Cioffi, M., Boschetti, F., Raimondi, M.T., Dubini, G.: Modeling evaluation of the fluid-dynamic micro environment in tissue-engineered constructs: a micro-CT based model. Biotechnol. Bioeng. 93, 500–510 (2006) CrossRefGoogle Scholar
- 29.Datta, S.: Nanoscale device modeling: the Green’s function method. Superlattices Microstruct. 28(4), 253–278 (2000) CrossRefGoogle Scholar
- 30.de Falco, C., Lacaita, A.L., Gatti, E., Sacco, R.: Quantum-corrected drift-diffusion models for transport in semiconductor devices. J. Comput. Phys. 204(2), 533–561 (2005) MathSciNetCrossRefMATHGoogle Scholar
- 31.de Falco, C., Jerome, J.W., Sacco, R.: Quantum corrected drift-diffusion models: solution fixed point map and finite element approximation. J. Comput. Phys. 228, 1770–1789 (2009) MathSciNetCrossRefMATHGoogle Scholar
- 32.Degond, P., Niclot, B.: Numerical analysis of the weighted particle method applied to the semiconductor Boltzmann equation. Numer. Math. 55, 599–618 (1989) MathSciNetCrossRefMATHGoogle Scholar
- 33.Degond, P., Guyot-Delaurens, F., Mustieles, F.J., Nier, F.: Semiconductor modelling via the Boltzmann equation. In: Bank, R.E., Bulirsch, R., Merten, K. (eds.) Mathematical Modelling and Simulation of Electrical Circuits and Semiconductor Devices, pp. 153–167. Birkhäuser, Basel (1990) Google Scholar
- 34.Degond, P., Mehats, F., Ringhofer, C.: Quantum hydrodynamic models derived from the entropy principle. In: Chen, G.-Q., Gasper, G., Jerome, J.W. (eds.) Nonlinear Partial Differential Equations and Related Analysis. Contemporary Math., vol. 371, pp. 107–131. Am. Math. Soc., Providence (2005) Google Scholar
- 35.Ekeland, I., Temam, R.: Convex Analysis and Variational Problems. North-Holland, Amsterdam (1976). Reprinted: Classics in Applied Mathematics, vol. 28, SIAM, Philadelphia (1999) MATHGoogle Scholar
- 36.Fahrenbruch, A., Bube, R.: Fundamentals of Solar Cells. Academic Press, San Diego (1983) Google Scholar
- 37.Fang, W., Ito, K.: Weak solutions to a one-dimensional hydrodynamic model of two carrier types for semiconductors. Nonlinear Anal. 28, 947–963 (1997) MathSciNetCrossRefMATHGoogle Scholar
- 38.Fatemi, E., Jerome, J., Osher, S.: Solution of the hydrodynamic device model using high-order nonoscillatory shock capturing algorithms. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 10, 232–244 (1991) CrossRefGoogle Scholar
- 39.Fromherz, P.: Neuroelectronics interfacing: Semiconductor chips with ion channels, cells, and brain. In: Weise, R. (ed.) Nanoelectronics and Information Technology, pp. 781–810. Wiley-VCH, Berlin (2003) Google Scholar
- 40.Gadau, S., Jüngel, A.: A three-dimensional mixed finite element approximation of the semiconductor energy-transport equations. SIAM J. Sci. Comput. 31, 1120–1140 (2008) MathSciNetCrossRefMATHGoogle Scholar
- 41.Gardner, C.L.: The quantum hydrodynamic model for semiconductor devices. SIAM J. Appl. Math. 54, 409–427 (1994) MathSciNetCrossRefMATHGoogle Scholar
- 42.Gardner, C.L., Jerome, J.W., Rose, D.J.: Numerical methods for the hydrodynamic device model: Subsonic flow. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 8, 501–507 (1989) CrossRefGoogle Scholar
- 43.Gärtner, K.: Existence of bounded discrete steady-state solutions of the Van Roosbroeck system on boundary conforming Delaunay grids. SIAM J. Sci. Comput. 31(2), 1347–1362 (2008) MathSciNetCrossRefGoogle Scholar
- 44.Gatti, E., Micheletti, S., Sacco, R.: A new Galerkin framework for the drift-diffusion equation in semiconductors. East West J. Numer. Math. 6(2), 101–135 (1998) MathSciNetMATHGoogle Scholar
- 45.Goliber, T.E., Perlstein, J.H.: Analysis of photogeneration in a doped polymer system in terms of a kinetic model for electric-field-assisted dissociation of charge-transfer states. J. Chem. Phys. 80(9), 4162–4167 (1984) CrossRefGoogle Scholar
- 46.Gummel, H.K.: A self-consistent iterative scheme for one-dimensional steady state transistor calculations. IEEE Trans. Electron Dev. 11, 455–465 (1964) CrossRefGoogle Scholar
- 47.Guo, Y., Strauss, W.: Stability of semiconductor states with insulating and contact boundary conditions. Arch. Ration. Mech. Anal. 179, 1–30 (2006) MathSciNetCrossRefMATHGoogle Scholar
- 48.Hess, K.: Advanced Theory of Semiconductor Devices. Prentice-Hall, Englewood Cliffs (1988) Google Scholar
- 49.Hess, K., Leburton, J.P., Ravaioli, U. (eds.): Computational Electronics. Kluwer Academic, Boston (1991) Google Scholar
- 50.Hu, Y., Lee, J., Werner, C., Li, D.: Electrokinetically controlled concentration gradients in micro-chambers in microfluidic systems. Microfluid. Nanofluid. 2, 141–153 (2006) CrossRefGoogle Scholar
- 51.Hughes, T.R., Kato, T., Marsden, J.E.: Well-posed quasi-linear second-order hyperbolic systems with applications to nonlinear elastodynamics and general relativity. Arch. Ration. Mech. Anal. 63, 273–294 (1976) MathSciNetGoogle Scholar
- 52.Jacoboni, C., Bordone, P.: The Wigner-function approach to non-equilibrium electron transport. Rep. Prog. Phys. 67(7), 1033–1071 (2004) CrossRefGoogle Scholar
- 53.Jerome, J.W.: Approximation of Nonlinear Evolution Systems. Academic Press, New York (1983) MATHGoogle Scholar
- 54.Jerome, J.W.: Approximate Newton methods and homotopy for stationary operator equations. Constr. Approx. 1, 271–285 (1985) MathSciNetCrossRefMATHGoogle Scholar
- 55.Jerome, J.W.: Consistency of semiconductor modelling: An existence/stability analysis for the stationary Van Roosbroeck system. SIAM J. Appl. Math. 45, 565–590 (1985) MathSciNetCrossRefMATHGoogle Scholar
- 56.Jerome, J.W.: The role of semiconductor device diameter and energy-band bending in convergence of Picard iteration for Gummel’s map. IEEE Trans. Electron Dev. 32, 2045–2051 (1985) CrossRefGoogle Scholar
- 57.Jerome, J.W.: Evolution systems in semiconductor device modeling: A cyclic uncoupled line analysis for the Gummel map. Math. Methods Appl. Sci. 9, 455–492 (1987) MathSciNetCrossRefMATHGoogle Scholar
- 58.Jerome, J.W.: The mathematical study and approximation of semiconductor models. In: Gilbert, J., Kershaw, D. (eds.) Advances in Numerical Analysis: Large Scale Matrix Problems and the Numerical Solution of Partial Differential Equations, pp. 157–204. Oxford University Press, London (1994) Google Scholar
- 59.Jerome, J.W.: An asymptotically linear fixed point extension of the inf-sup theory of Galerkin approximation. Numer. Funct. Anal. Optim. 16, 345–361 (1995) MathSciNetCrossRefMATHGoogle Scholar
- 60.Jerome, J.W.: Analysis of Charge Transport. Springer, New York (1996) Google Scholar
- 61.Jerome, J.W.: An analytical study of smooth solutions of the Blotekjaer hydrodynamic model of electron transport. VLSI Des. 15, 729–742 (2002) MathSciNetCrossRefGoogle Scholar
- 62.Jerome, J.W.: An analytical approach to charge transport in a moving medium. Transp. Theory Stat. Phys. 31, 333–366 (2002) MathSciNetCrossRefMATHGoogle Scholar
- 63.Jerome, J.W.: A trapping principle and convergence results for finite element approximate solutions of steady reaction/diffusion systems. Numer. Math. 109(1), 121–142 (2008) MathSciNetCrossRefMATHGoogle Scholar
- 64.Jerome, J.W., Kerkhoven, T.: A finite element approximation theory for the drift-diffusion semiconductor model. SIAM J. Numer. Anal. 28, 403–422 (1991) MathSciNetCrossRefMATHGoogle Scholar
- 65.Jerome, J.W., Shu, C.-W.: Energy models for one-carrier transport in semiconductor devices. In: Coughran, W.M., Cole, J., Lloyd, P., White, J.K. (eds.) Semiconductors, Part II. IMA Volumes in Mathematics and its Applications, vol. 59, pp. 185–207. Springer, New York (1994) Google Scholar
- 66.Jerome, J.W., Shu, C.-W.: Transport effects and characteristic modes in the modeling and simulation of submicron devices. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 14, 917–923 (1995) CrossRefGoogle Scholar
- 67.Jerome, J.W., Shu, C.-W.: Energy transport systems for semiconductors: Analysis and simulation. In: Proceedings, First World Congress of Nonlinear Analysts, pp. 3835–3846. de Gruyter, Berlin (1995) Google Scholar
- 68.Jerome, J.W., Sacco, R.: Global weak solutions for an incompressible charged fluid with multi-scale couplings: initial-boundary value problem. Nonlinear Anal. (2009). doi: 10.1016/j.na.2009.05.047 Google Scholar
- 69.Jüngel, A.: Quasi-hydrodynamic Semiconductor Equations. Progress in Nonlinear Differential Equations and Their Applications. Birkhäuser, Basel (2001) MATHGoogle Scholar
- 70.Jüngel, A., Unterreiter, A.: Discrete minimum and maximum principles for finite element approximations of non-monotone elliptic equations. Numer. Math. 99, 485–508 (2005) MathSciNetCrossRefMATHGoogle Scholar
- 71.Kerkhoven, T.: Coupled and decoupled algorithms for semiconductor simulation. PhD thesis, Yale University, New Haven, Connecticut (1985) Google Scholar
- 72.Kerkhoven, T.: On the effectiveness of Gummel’s method. SIAM J. Sci. Stat. Comput. 9, 48–60 (1988) MathSciNetCrossRefMATHGoogle Scholar
- 73.Kerkhoven, T., Jerome, J.W.: L ∞ stability of finite element approximations to elliptic gradient equations. Numer. Math. 57, 561–575 (1990) MathSciNetCrossRefMATHGoogle Scholar
- 74.Kerkhoven, T., Saad, Y.: On acceleration methods for coupled nonlinear elliptic systems. Numer. Math. 60, 525–548 (1992) MathSciNetCrossRefMATHGoogle Scholar
- 75.Kluksdahl, N.C., Kriman, A.M., Ferry, D.K., Ringhofer, C.: Self-consistent study of the resonant tunneling diode. Phys. Rev. B 39, 7720–7735 (1989) CrossRefGoogle Scholar
- 76.Krasnoselskii, M., Vainikko, G., Zabreiko, P., Rititskii, Y.B., Stetsenko, V.: Approximate Solution of Operator Equations. Wolters-Noordhoff, Groningen (1972) Google Scholar
- 77.Laux, S., Kumar, A., Fischetti, M.: Ballistic FET modeling using QDAME: Quantum device analysis by modal evaluation. IEEE Trans. Nanotechnol. 1(4), 255–259 (2002) CrossRefGoogle Scholar
- 78.Longaretti, M., Chini, B., Jerome, J.W., Sacco, R.: Computational modeling and simulation of complex systems in bio-electronics. J. Comput. Electron. 7, 10–13 (2008) CrossRefGoogle Scholar
- 79.Longaretti, M., Chini, B., Jerome, J.W., Sacco, R.: Electrochemical modeling and characterization of voltage operated channels in nano-bio-electronics. Sensor Lett. 6, 49–56 (2008) CrossRefGoogle Scholar
- 80.Longaretti, M., Marino, G., Chini, B., Jerome, J.W., Sacco, R.: Computational models in nano-bio-electronics: simulation of ionic transport in voltage operated channels. J. Nanosci. Nanotechnol. 8, 3686–3694 (2008) Google Scholar
- 81.Lundstrom, M.: Fundamentals of Carrier Transport. Addison-Wesley, Reading (1990) Google Scholar
- 82.Markowich, P.A.: The Stationary Semiconductor Device Equations. Springer, New York (1986) Google Scholar
- 83.Markowich, P.A., Ringhofer, C.A., Schmeiser, C.: Semiconductor Equations. Springer, Vienna (1990) MATHGoogle Scholar
- 84.Mitrea, M., Monniaux, S.: The regularity of the Stokes operator and the Fujita-Kato approach to the Navier-Stokes initial value problem in Lipschitz domains. J. Funct. Anal. 254, 1522–1574 (2008) MathSciNetCrossRefMATHGoogle Scholar
- 85.Mock, M.S.: On equations describing steady-state carrier distributions in a semiconductor device. Commun. Pure Appl. Math. 25, 781–792 (1972) MathSciNetCrossRefGoogle Scholar
- 86.Mock, M.S.: Analysis of Mathematical Models of Semiconductor Devices. Boole, Dublin (1983) MATHGoogle Scholar
- 87.Niclot, B., Degond, P., Poupaud, F.: Deterministic particle simulations of the Boltzmann transport equation of semiconductors. J. Comput. Phys. 78, 313–339 (1988) CrossRefMATHGoogle Scholar
- 88.Offenhäuser, A., Rühe, J., Knoll, W.: Neuronal cells cultured on modified microelectronic device structures. J. Vac. Sci. Technol. A 13(5), 2606–2612 (1995) CrossRefGoogle Scholar
- 89.Pinnau, R., Unterreiter, A.: The stationary current-voltage characteristics of the quantum drift-diffusion model. SIAM J. Numer. Anal. 37(1), 211–245 (1999) MathSciNetCrossRefMATHGoogle Scholar
- 90.Pirovano, A., Lacaita, A., Spinelli, A.: Two-dimensional quantum effects in nanoscale MOSFETs. IEEE Trans. Electron Dev. 49, 25–31 (2002) CrossRefGoogle Scholar
- 91.Quarteroni, A., Valli, A.: Domain Decomposition Methods for Partial Differential Equations. Oxford University Press, New York (1999) MATHGoogle Scholar
- 92.Raimondi, M.T., Boschetti, F., Migliavacca, F., Cioffi, M., Dubini, G.: Micro-fluid dynamics in three-dimensional engineered cell systems in bioreactors. In: Ashammakhi, N., Reis, R.L. (eds.) Topics in Tissue Engineering, vol. 2 (2005), Chap. 9 Google Scholar
- 93.Rubinstein, I.: Multiple steady states in one-dimensional electrodiffusion with local electroneutrality. SIAM J. Appl. Math. 47, 1076–1093 (1987) MathSciNetCrossRefGoogle Scholar
- 94.Rubinstein, I.: Electro-Diffusion of Ions. SIAM Studies in Applied Mathematics. SIAM, Philadelphia (1990) Google Scholar
- 95.Rudan, M., Odeh, F.: Multi-dimensional discretization scheme for the hydrodynamic model of semiconductor devices. COMPEL 5, 149–183 (1986) MathSciNetMATHGoogle Scholar
- 96.Scharfetter, D.L., Gummel, H.K.: Large signal analysis of a silicon Read diode oscillator. IEEE Trans. Electron Dev. 16, 64–77 (1969) CrossRefGoogle Scholar
- 97.Seidman, T.: Steady state solutions of diffusion reaction systems with electrostatic convection. Nonlinear Anal. 4, 623–637 (1980) MathSciNetCrossRefMATHGoogle Scholar
- 98.Selberherr, S.: Analysis and Simulation of Semiconductor Devices. Springer, New York (1984) Google Scholar
- 99.Shockley, W.: Electrons and Holes in Semiconductors. Van Nostrand, Princeton (1950) Google Scholar
- 100.Smoller, J.: Shock Waves and Reaction-Diffusion Equations, 2nd edn. Springer, Berlin (1994) MATHGoogle Scholar
- 101.Stettler, M.A., Alam, M.A., Lundstrom, M.S.: A critical examination of the assumptions underlying macroscopic transport equations for silicon devices. IEEE Trans. Electron Dev. 40, 733–740 (1993) CrossRefGoogle Scholar
- 102.Sze, S.M.: Physics of Semiconductor Devices. Wiley, New York (1981) Google Scholar
- 103.Tan, G.-L., Yuan, X.-L., Zhang, Q.-M., Tu, W.H., Shey, A.-J.: Two-dimensional semiconductor device analysis based on new finite-element discretization employing the S-G scheme. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 8, 468–478 (1989) CrossRefGoogle Scholar
- 104.Van Roosbroeck, W.: Theory of flow of electrons and holes in germanium and other semiconductors. Bell Syst. Tech. J. 29, 560–607 (1950) Google Scholar
- 105.Wong, H.: Beyond the conventional transistor. IBM J. Res. Dev. 46(2/3), 133–168 (2002) CrossRefGoogle Scholar
- 106.Zhang, B., Jerome, J.: On a steady-state quantum hydrodynamic model for semiconductors. Nonlinear Anal. 26, 845–856 (1996) MathSciNetCrossRefMATHGoogle Scholar