The design and implementation of Kaleidoscope’90, A constraint imperative programming language (1992)

by B Freeman-Benson, A Borning
Venue:Proc. IEEE Intl. Conf. on Computer Languages