Pack Kaelbling, L., & Wilson, N. J. (1988). Rex Programmer’s Manual. SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER.
This manual describes Rex, a programming language for specifying machines by declaratively describing their behavior. The Rex language consists of a set of Lisp functions that define primitive Rex machines and provides methods for building complex machines out of simpler components.