Eigenvalue expansions for Brownian motion with an application to occupation times
scientific article; zbMATH DE number 918285