Constraint Imperative Programming (1991)

by Bjorn N Freeman-Benson