Gus Lopez, Bjorn Freeman-Benson, and Alan Borning, <a href="http://www.cs.washington.edu/research/projects/weird/www/kaleidoscope-oopsla-94.html"> "Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine"</a>, Proceedings of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon, October 1994, pages 259-271.  </UL>
