Laurent Henocque. Modeling Object Oriented Constraint Programs in Z.
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales - Serie A. Matemáticas, Springer, 2004, special issue on Symbolic Computation in Logic and Artificial Intelligence (98 (1--2)), pp.127--152.
⟨hal-01479589⟩