TANG, Zhisong "To Unify Programming with a Temporal Logic System", Dept. Comp. Sci. CMU, Tech. Rep. No. CMU-CS-87-160, Revised version: Proc. Japanese Ann. Softw. Symp. Tokyo, 1989

Languages mentioned

• XYZ/E {1983}