"The Design and Implementation of Kaleidoscope'90, A Constraint Imperative Programming Language"
