Matematičeskoje i programmnoje obespečenije techničeskich sistem (Nauka, 1989)