Kaleidoscope: A Constraint Imperative Programming Language (1994)

by Gus Lopez, Bjorn Freeman-Benson, Alan Borning