Avtomatizirovannoje projektirovanije logiko-dinamičeskich... - ŽUK, K.D; TIMČENKO, A.A (1981)