1. A cook's tour of a simple quantum programming language.;Abramsky,2004
2. The various definitions of the derivative in linear topological spaces
3. Beattie, R., Butzmann, H.-P, [Convergence structures and Applications to Functional Analysis], Kluwer Academic Publishers, Dordrecht, (2003)
4. Continuous convergence on C(X);Binz,1966
5. Logical Foundations of Computer Science