Moszkowski, B.; "A Temporal Logic for Multilevel Reasoning about Hardware", IEEE Computer, 18, Feb. 1985, pp10-19

Languages mentioned

• ITL {1981}
• Tempura {1985}