Cohen,D. "Symbolic execution of the Gist specification language"

[Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983  

Languages mentioned Gist {1977} Specification language