Constraint Imperative Programming - Freeman-Benson, Bjorn Nathan (ProQuest Dissertations and Theses, 1991)