"Constraints in concurrent object-oriented environment."

Chris Laffra, Jan van den Bos (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics