1. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pp. 249–258. IEEE (2005)
2. Athas, W.C., Svensson, L.: Reversible logic issues in adiabatic CMOS. In: Workshop on Physics and Computation (1994)
3. Lecture Notes in Computer Science;H.B. Axelsen,2011
4. Lecture Notes in Computer Science;H.B. Axelsen,2007
5. Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 21, 613–641 (1978)