TANG, Zhisong "XYZ: a Programming Development Environment Based on Temporal Logic", in: Programming Language and Systems (Bormann de.), 1983, North Holland.

Languages mentioned

• XYZ/E {1983}