Tuzhilin, Alexander "Templar: A knowledge-based language for software specifications using temporal logic" Working Paper IS-93-33, Stern School of Business, New York Univ., New York 1993

Languages mentioned

• Templar {1993}