ALGORITMIČESKIJE JAZYKI REAĹNOGO VREMENI : KONSTRUIROVANIJE I RAZRABOTKA - Young, Stephen J. (Mir, 1985)