"Algebraic Constraints", J. Gosling, PhD Thesis, TR CS-83-132, CMU, May 1983.

(1983)

Languages mentioned