Programmirovanije dl´ja vyčislitel´nych sistem real´nogo vremeni - Martin, James (Nauka, 1975)