1. V. M. Alekseev, V. M. Tikhomirov, S. V. Fomin, Optimal Control, Consultant's Bureau, Plenum Press, 1987.
2. K.R. Apt and E-R. Olderog, Verification of Sequential and Concurrent Programs, Springer-Verlag, 1991.
3. M. Arbib and R. E. Kaiman, Topics in Mathematical Systems Theory, McGraw-Hill, N. Y., 1969.
4. M. Arbib and L. Padulo, Systems Theory, Saunders, Philedelphia, 1974.
5. J. P. Aubin, Convex Analysis and Optimization, Pitman, 1982.