Teodor Rus

• Data structures and operating systems
• Algebraic Methodology and Software Technology
• Execution support environment
• Systems methodology for software
• Theories and Experiences for Real-Time System Development (Amast Series in Computing, Vol 2)
• Computer-Based Problem Solving Process
• Data structures and operating systems
• Mecanisme formale pentru specificarea limbajelor
• Structuri de date și sisteme operative
• System Software and Software Systems
• Theories and Experiences for Real-Time System Development
• Transformation-Based Reactive Systems Development