Programmirovanije dlja vyčisliteľnych sistem reaľnogo vremeni - Martin, Dž (Nauka, 1975)