Freeman-Benson et al, "Constraint Imperative Programming"

(1992) IEEE Conf Comp Langs April 1992  

Languages mentioned Kaleidoscope {1989}