Mylopoulos, J., Bernstein, P., Wong, H.K.T. "A preliminary specification of TAXIS: A language for interactive systems design" Tech. Rep. CCA-78-02, Computer Corp. of America, 1978

Languages mentioned

• Taxis {1980}