Kurki-Suonio R. A practical theory of reactive systems : incremental modeling of dynamic behaviors / R. Kurki-Suonio, 2005 r=on-line. - Текст : электронный.