"Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine"
