Machine generated authority record.
Work cat.: (OSt): Levi, Shem-Tov 9290, Real-time system design/, 1990