GB*-Algebras associated with inductive limits of Hilbert spaces S. van Eijndhoven, P. Kruszyński (1987) Studia Mathematica