TANG, Zhisong A Temporal Logic Language for Behavior Modelling of Information and Expert System, in: "Knowledge & Data"(A. Sernadas ed.), 1986 ,North Holland.

Languages mentioned

• XYZ/E {1983}