1. Borning, A. H. (1979). ThingLab - A constraint-oriented simulation laboratory. Doctoral dissertation, Stanford University, Stanford, CA. (A revised version is published as Xerox Palo Alto Research Center Report SSL-79-3, July 1979.)
2. The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
3. Borning, A. H. (1986). Defining constraints graphically. Proceedings of the CHI '86 Confere m on Computer-Human Interaction, 137- 143. New York: ACM.
4. Borning, A. H. (1987). Constraints and functional programming. Proceedings of the Sixth Annual IEEE Phoenix Conference on Computers and Communications, 300-306. New York: IEEE Computer Society.
5. On the implementation of AMBIT, a language for symbol manipulation