1. George, C., Haxthausen, A.E., Hughes, S., et al.: The RAISE Development Method. Prentice Hall, London (1995)
2. Nikitchenko, N.S.: A Composition Nominative Approach to Program Semantics. Technical Report IT–TR 1998-020, Technical University of Denmark (1998)
3. Basarab, I.A., Gubsky, B.V., Nikitchenko, N.S., Red’ko, V.N.: Composition Models of Databases. In: Eder, J., Kalinichenko, L.A. (eds.) East-West Database Workshop (Workshops in Computing Series), pp. 221–231. Springer, London (1995)
4. Nikitchenko, M.S., Shkilnyak, S.S.: Mathematical logic and theory of algorithms. Publishing house of Taras Shevchenko National University of Kyiv (2008) (in Ukrainian)
5. Nikitchenko, M.S.: Composition-nominative aspects of address programming. Kibernetika I Sistemnyi Analiz 6, 24–35 (2009) (in Russian)